IF modal logic and classical negation

DOI10.1007/s11225-012-9462-3zbMath1338.03042OpenAlexW2000077669MaRDI QIDQ2016064

Tero Tulenheimo

Publication date: 19 June 2014

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-012-9462-3

zbMATH Keywords

independencemodal logicIF logiccomplementationexpressivityslash logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cites Work

• Hybrid logic meets IF modal logic
• On branching quantifiers in English
• Modal languages and bounded fragments of predicate logic
• Some combinatorics of imperfect information
• Hybrid logics: characterization, interpolation and complexity
• Compositional semantics for a language of imperfect information
• 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