The logical development of pretense imagination
From MaRDI portal
Cites work
- An axiomatic system and a tableau calculus for STIT imagination logic
- Analytic implication
- Angellic content
- Axiomatic characterization of the AGM theory of belief revision in a temporal logic
- Belief change in branching time: AGM-consistency and iterated revision
- Dynamic logic for belief revision
- Dynamic logic of preference upgrade
- scientific article; zbMATH DE number 3670430 (Why is no real title available?)
- Hyperintensionality in imagination
- Impossible worlds and the logic of imagination
- Iterated revision and minimal change of conditional beliefs
- Modal logic
- Moorean phenomena in epistemic logic
- Neighborhood semantics for modal logic
- On the logic of theory change: Partial meet contraction and revision functions
- Remarks on the logic of imagination. A step towards understanding doxastic control through imagination
- Simplified tableaux for STIT imagination logic
- The fundamental problem of logical omniscience
- Unifying default reasoning and belief revision in a modal framework
This page was built for publication: The logical development of pretense imagination
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7228220)