Equivalence Criteria for Compositional IF Modal Logics

Authors:
Tero Tulenheimo;Manuel Rebuschi
Affiliations:
Department of Philosophy, University of Helsinki, Helsinki, Finland;L.H.S.P. -- Archives H. Poincaré, Nancy-Université, Nancy, France
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 5
Cited 1

The principles of mathematics revisited

The principles of mathematics revisited
Modal logic

Modal logic
Independence-friendly modal logic and true concurrency

Nordic Journal of Computing
Some Strange Quantifiers

Structures in Logic and Computer Science, A Selection of Essays in Honor of Andrzej Ehrenfeucht
Hybrid Logic Meets IF Modal Logic

Journal of Logic, Language and Information

Hybrid Logic Meets IF Modal Logic

Journal of Logic, Language and Information

Quantified Score

Hi-index	0.00

Visualization

Abstract

An IF modal logic L with a compositional semantics is formulated, generalizing the logic L"S"D introduced in [T. Tulenheimo, and M. Sevenster, On modal logic, IF logic and IF modal logic, in G. Governatori et al. (eds.): ''Advances in Modal Logic''6, 481-501, College Publications, 2006]. Syntactic fragments L"1, L"2, L"3, L"4 are discerned. For each fragment, we study the relation of L"i-equivalence: an equivalence relation between pointed models holding if and only if they satisfy precisely the same formulas of L"i. A criterion for L"i-equivalence is formulated in terms of model-comparison games, by imposing further conditions in addition to bisimilarity. Using the resulting methods for establishing indistinguishability w.r.t. L"i, the relative expressive powers of the four fragments are determined.