A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC

DOI10.1017/S175502032100037XzbMath1500.03007arXiv1906.04981OpenAlexW3197136028MaRDI QIDQ5078812

Silke Meissner, Martin Otto

Publication date: 25 May 2022

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1906.04981

zbMATH Keywords

translationclassical first-order logicinquisitive modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Logic with extra quantifiers and operators (03C80)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Inquisitive logic
• Propositional inquisitive logic: a survey
• Disjunction and existence properties in inquisitive first-order logic
• Neighborhood semantics for modal logic
• Neighbourhood Structures: Bisimilarity and Basic Model Theory
• Compositional semantics for a language of imperfect information
• INQUISITIVE BISIMULATION

This page was built for publication: A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC