From onions to broccoli: generalizing Lewis' counterfactual logic

DOI10.3166/JANCL.17.213-229MaRDI QIDQ3647271zbMATH OpenOpenAlexFDO

Authors Patrick R. Girard

Publication date 30 November 2009

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3166/jancl.17.213-229

zbMATH Keywords

AGMbelief revisionbroccoli logicconditional logicdynamic doxastic logicneighborhood semanticsselection functions

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4150122
• scientific article; zbMATH DE number 1301760
• scientific article; zbMATH DE number 140392
• Conditionals: from philosophy to computer science
• Observations on validity and conditionals in belief revision systems

Cites work

• Basic conditional logic
• Change, choice and inference. A study of belief revision and nonmonotonic reasoning
• Controlled Revision - An algorithmic approach for belief revision
• Knowledge in flux. Modeling the dynamics of epistemic states
• On the logic of theory change: Partial meet contraction and revision functions
• Quick completeness proofs for some logics of conditionals
• Two modellings for theory change

Cited in

(4)

• A discrete duality between nonmonotonic consequence relations and convex geometries
• Dynamic logic for belief revision
• CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE
• Hybrid logic with the difference modality for generalisations of graphs

This page was built for publication: From onions to broccoli: generalizing Lewis' counterfactual logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3647271)