An axiomatic system and a tableau calculus for STIT imagination logic

DOI10.1007/S10992-017-9426-1zbMath1436.03114OpenAlexW2580804121MaRDI QIDQ1749805

Heinrich Wansing, Grigory K. Olkhovikov

Publication date: 28 May 2018

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-017-9426-1

zbMATH Keywords

completenesstableauxaxiomatizationSTIT logiccanonical modelslogic of imagination

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items (6)

Quantified temporal alethic boulesic doxastic logic ⋮ Inference as doxastic agency. I: The basics of justification stit logic ⋮ <scp>Stit</scp>-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT ⋮ Simplified tableaux for STIT imagination logic ⋮ Proof-theoretic analysis of the logics of agency: the deliberative STIT ⋮ Axiomatizing the logic of imagination

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Combinations of \textit{stit} with \textit{ought} and \textit{know}
• A logic for reasoning about counterfactual emotions
• Alternative axiomatics and complexity of deliberative STIT theories
• Remarks on the logic of imagination. A step towards understanding doxastic control through imagination
• Reasoning About Belief Revision
• A Complete STIT Logic for Knowledge and Action, and Some of Its Applications

This page was built for publication: An axiomatic system and a tableau calculus for STIT imagination logic