An axiomatic system and a tableau calculus for STIT imagination logic
From MaRDI portal
Publication:1749805
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
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