Revision operator semantics: some order for the zoo of conditionals

MaRDI QIDQ5149154zbMATH OpenFDO

Authors Eric Raidl

Publication date 6 February 2021

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)

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

Cited in

(3)

• Revision algebra semantics for conditional logic
• Semantics for conditional literals via the SM operator
• 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)