Revision operator semantics: some order for the zoo of conditionals

zbMATH Open1505.03060MaRDI QIDQ5149154FDOQ5149154

Authors: Eric Raidl 

Publication date: 6 February 2021

Recommendations

• Revision algebra semantics for conditional logic
• Observations on validity and conditionals in belief revision systems
• A sequent formulation of conditional logic based on belief change operations
• Conditionals in reasoning
• Conditionals: from philosophy to computer science

zbMATH Keywords

Ramsey testupdate semanticsrelevance logicdynamic semanticsconditional logicstruthmaker semanticsstrict conditionalvariably-strict conditional intuitionistic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited In (3)

• Semantics for conditional literals via the SM operator
• Revision algebra semantics for conditional logic
• A reinterpretation of Beall's `off-topic' semantics

This page was built for publication: Revision operator semantics: some order for the zoo of conditionals

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