Updates and counterfactuals

DOI10.1093/LOGCOM/8.1.87MaRDI QIDQ4399515zbMATH OpenOpenAlexFDO

Authors Gösta Grahne

Publication date 26 November 1998

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/8.1.87

zbMATH Keywords

combination of updatescounterfactual conditionalsGärdenfors' triviality theoremhypothetical reasoningmultimodal propositional calculuspossible worldspropositional knowledge basesRamsey rulesemanticstheory changeupdate operator

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 140392
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• scientific article; zbMATH DE number 4150122
• Counterfactuals and updates as inverse modalities

Cited in

(22)

• Hybrid counterfactual logics. David Lewis meets Arthur Prior again
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• Counterfactuals and updates as inverse modalities
• Override and update
• Weak AGM postulates and strong Ramsey test: A logical formalization
• Standard sequent calculi for Lewis' logics of counterfactuals
• Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models
• Nested sequent calculi for conditional logics
• scientific article; zbMATH DE number 4174359 (Why is no real title available?)
• A standard internal calculus for Lewis' counterfactual logics
• scientific article; zbMATH DE number 4150122 (Why is no real title available?)
• Theorem proving for conditional logics: CondLean and GOALDUCK
• scientific article; zbMATH DE number 69458 (Why is no real title available?)
• scientific article; zbMATH DE number 140392 (Why is no real title available?)
• scientific article; zbMATH DE number 517036 (Why is no real title available?)
• scientific article; zbMATH DE number 1951184 (Why is no real title available?)
• Reapproaching Ramsey: conditionals and iterated belief change in the spirit of AGM
• The complexity of nested counterfactuals and iterated knowledge base revisions
• Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics
• A Kripke-Lewis semantics for belief update and belief revision
• Dynamics of counterfactual supposition. I: the qualitative case
• Conditional logic of actions and causation

This page was built for publication: Updates and counterfactuals

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