RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC

DOI10.1017/S1755020319000406zbMath1485.03041arXiv1804.08306MaRDI QIDQ5117589

Grigory K. Olkhovikov

Publication date: 26 August 2020

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

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

zbMATH Keywords

interpolationstit logicRobinson consistency property

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Interpolation, preservation, definability (03C40)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Deontic epistemic stit logic distinguishing modes of mens rea
• Alternative axiomatics and complexity of deliberative STIT theories
• The deliberative stit: A study of action, omission, ability, and obligation
• Inference as doxastic agency. I: The basics of justification stit logic
• Modal Foundations for Predicate Logic
• Temporal logic and its application to normative reasoning