Updates and counterfactuals

DOI10.1093/logcom/8.1.87zbMath0901.03025OpenAlexW2151056427MaRDI QIDQ4399515

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

possible worldssemanticstheory changecounterfactual conditionalshypothetical reasoningRamsey rulepropositional knowledge basescombination of updatesGärdenfors' triviality theoremmultimodal propositional calculusupdate 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)

Related Items (9)

A Standard Internal Calculus for Lewis’ Counterfactual Logics ⋮ Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models ⋮ Nested Sequent Calculi for Conditional Logics ⋮ Weak AGM postulates and strong Ramsey test: A logical formalization ⋮ Reapproaching Ramsey: conditionals and iterated belief change in the spirit of AGM ⋮ Theorem proving for conditional logics: CondLean and GOALDUCK ⋮ Standard Sequent Calculi for Lewis’ Logics of Counterfactuals ⋮ Hybrid counterfactual logics. David Lewis meets Arthur Prior again ⋮ Conditional logic of actions and causation

This page was built for publication: Updates and counterfactuals