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. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1016/j.entcs.2009.02.034 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
logic l,equivalence criteria,modal logic,pointed model,equivalence relation,t. tulenheimo,expressive power,m. sevenster,college publications,modal logics,indistinguishability w,compositional semantics,convergence,model-comparison game,transition system,bisimulation,independence friendly logic,satisfiability | Discrete mathematics,Accessibility relation,Normal modal logic,Multimodal logic,Modal operator,Modal logic,Dynamic logic (modal logic),Mathematics,Intermediate logic,S5 | Journal |
Volume | ISSN | Citations |
231, | Electronic Notes in Theoretical Computer Science | 1 |
PageRank | References | Authors |
0.36 | 9 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Tero Tulenheimo | 1 | 16 | 5.19 |
Manuel Rebuschi | 2 | 1 | 1.04 |