TY - GEN

T1 - Computing Minimal Models Modulo Subset-Simulation for Modal Logics

AU - Papacchini, Fabio

AU - Schmidt, Renate A.

PY - 2013/9/18

Y1 - 2013/9/18

N2 - In this paper we propose a novel minimality criterion for models of modal logics based on a variation of the notion of simulation, called subset-simulation. We present a minimal model sound and complete tableau calculus for the generation of this new kind of minimal models for the multi-modal logic K (m), and we discuss extensions to cover more expressive logics. The generation of minimal models is performed incrementally by using a minimality test to close branches representing non-minimal models, or to update the set of minimal models. Subset-simulation minimal models have the advantage that they are semantically more natural than models obtained by using syntactic minimality criteria.

AB - In this paper we propose a novel minimality criterion for models of modal logics based on a variation of the notion of simulation, called subset-simulation. We present a minimal model sound and complete tableau calculus for the generation of this new kind of minimal models for the multi-modal logic K (m), and we discuss extensions to cover more expressive logics. The generation of minimal models is performed incrementally by using a minimality test to close branches representing non-minimal models, or to update the set of minimal models. Subset-simulation minimal models have the advantage that they are semantically more natural than models obtained by using syntactic minimality criteria.

U2 - 10.1007/978-3-642-40885-4\_20

DO - 10.1007/978-3-642-40885-4\_20

M3 - Conference contribution/Paper

SN - 9783642408847

VL - 8152

SP - 279

EP - 294

BT - Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

PB - Springer

CY - Berlin

ER -