Computing Minimal Models Modulo Subset-Simulation for Modal Logics

Papacchini, Fabio and Schmidt, Renate A. (2013) Computing Minimal Models Modulo Subset-Simulation for Modal Logics. In: Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings. Springer, Berlin, pp. 279-294. ISBN 9783642408847

Full text not available from this repository.


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.

Item Type:
Contribution in Book/Report/Proceedings
ID Code:
Deposited By:
Deposited On:
13 Jul 2022 14:45
Last Modified:
13 Jul 2022 14:45