Counterfactuals and updates as inverse modalities

DOI10.1023/A:1008218502162zbMath0921.03035OpenAlexW1601991083MaRDI QIDQ1357671

Pierre-Yves Schobbens, Mark D. Ryan

Publication date: 29 September 1999

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008218502162

zbMATH Keywords

possibilitymodalityconditionalsnecessityaccessibility relationKatsuno-Mendelzon updateStalnaker counterfactual

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items

Towards resolution-based reasoning for connected logics, Deriving Inverse Operators for Modal Logic, Belief, knowledge, lies and other utterances in an algebra for space and extrusion, Constructive agents, A Qualitative Theory of Dynamic Interactive Belief Revision, Making a start with the stit logic analysis of intentional action, Weak AGM postulates and strong Ramsey test: A logical formalization, Epistemic Conditionals and the Logic of Subsets, Propositional belief base update and minimal change, Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision, AGM 25 years. Twenty-five years of research in belief change, Reapproaching Ramsey: conditionals and iterated belief change in the spirit of AGM, Characterizing right inverses for spatial constraint systems with applications to modal logic, Assertions, Hypotheses, Conjectures, Expectations: Rough-Sets Semantics and Proof Theory