2013 | OriginalPaper | Buchkapitel
Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference
verfasst von : Bernhard Heinemann
Erschienen in: Logical Foundations of Computer Science
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Correspondence theory regarding the bimodal language for subset spaces can be based on a certain pseudo-monadic second-order language arising from the relevant semantics. Since the latter language is reducible to a two-sorted language of first-order predicate logic, one can apply well-established model-theoretic techniques to studying expressivity issues. In this way, a subset space analogue to a popular definability result of ordinary modal logic is proved first in this paper. On the other hand, subset spaces can easily be related to usual Kripke models, for which we have a (one-sorted) relational first-order correspondence language. Both of the concurrent correspondents are then used in the main part of the paper, where, among other things, some Goldblatt-Thomason style results as related to subset frames are proved.