Hybrid logic meets IF modal logic

DOI10.1007/s10849-009-9092-yzbMath1194.03027OpenAlexW2007134052MaRDI QIDQ1047800

Tero Tulenheimo

Publication date: 6 January 2010

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-009-9092-y

zbMATH Keywords

modal logiccompositionalitydecidabilityhybrid logicindependence friendly logicexpressive powergame-theoretic semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Combined logics (03B62)

Related Items

Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information ⋮ IF modal logic and classical negation ⋮ Equivalence Criteria for Compositional IF Modal Logics

Cites Work

• On the logic of informational independence and its applications
• Aspects of compositionality
• Expressivity of second order propositional modal logic
• On the computational consequences of independence in propositional logic
• Some combinatorics of imperfect information
• Hybrid logics: characterization, interpolation and complexity
• Interpolation for extended modal languages
• Propositional quantifiers in modal logic1
• Compositional semantics for a language of imperfect information
• Subclasses of binary NP
• Positional Determinacy of Games with Infinitely Many Priorities
• Persistent and invariant formulas relative to theories of higher order
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item