Weak AGM postulates and strong Ramsey test: A logical formalization

DOI10.1016/J.ARTINT.2005.06.004MaRDI QIDQ2457649zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Laura Giordano, V. Gliozzi, N. Olivetti

Publication date 23 October 2007

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.artint.2005.06.004

zbMATH Keywords

AGM postulatesBCRbelief revision systemsconditional logicsRamsey testselection function models

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Recommendations

• Observations on validity and conditionals in belief revision systems
• scientific article; zbMATH DE number 1301760
• The Ramsey test revisited*
• Iterated revision and minimal change of conditional beliefs
• scientific article; zbMATH DE number 1884356

Cites work

• Conditionals: from philosophy to computer science
• Counterfactuals
• Counterfactuals and updates as inverse modalities
• Counterfactuals.
• Epistemic semantics for counterfactuals
• scientific article; zbMATH DE number 3708349 (Why is no real title available?)
• scientific article; zbMATH DE number 47929 (Why is no real title available?)
• scientific article; zbMATH DE number 67494 (Why is no real title available?)
• scientific article; zbMATH DE number 140392 (Why is no real title available?)
• scientific article; zbMATH DE number 140403 (Why is no real title available?)
• scientific article; zbMATH DE number 1301760 (Why is no real title available?)
• scientific article; zbMATH DE number 1333624 (Why is no real title available?)
• scientific article; zbMATH DE number 1032007 (Why is no real title available?)
• Knowledge in flux. Modeling the dynamics of epistemic states
• On the logic of iterated belief revision
• On the logic of theory change: Partial meet contraction and revision functions
• The Gärdenfors impossibility theorem in non-monotonic contexts
• The Ramsey test revisited*
• Two modellings for theory change
• Updates and counterfactuals

Cited in

(10)

• Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models
• Nested sequent calculi for conditional logics
• A logic for belief contraction
• A standard internal calculus for Lewis' counterfactual logics
• Theorem proving for conditional logics: CondLean and GOALDUCK
• scientific article; zbMATH DE number 4029558 (Why is no real title available?)
• DIFFERENCE-MAKING CONDITIONALS AND THE RELEVANT RAMSEY TEST
• AN EXPRESSIVIST ANALYSIS OF THE INDICATIVE CONDITIONAL WITH A RESTRICTOR SEMANTICS
• Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics
• A Kripke-Lewis semantics for belief update and belief revision

This page was built for publication: Weak AGM postulates and strong Ramsey test: A logical formalization

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