scientific article; zbMATH DE number 6863652

MaRDI QIDQ4636042zbMATH OpenFDO

Authors Marianna Girlando, Sara Negri, N. Olivetti, Vincent Risch

Publication date 23 April 2018

zbMATH Keywords

conditional logicdecision procedureepistemic logicneighbourhood semanticssequent calculus

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Conditional beliefs: from neighbourhood semantics to sequent calculus
• Nested sequents for the logic of conditional belief
• A sequent calculus for preferential conditional logic based on neighbourhood semantics
• scientific article; zbMATH DE number 6868325
• scientific article; zbMATH DE number 3966027
• A sequent formulation of conditional logic based on belief change operations
• Neighborhood semantics for modal logic
• A family of neighborhood contingency logics
• scientific article; zbMATH DE number 2058984
• Neighbourhood semantics for modal relevant logics

Cited in

(9)

• Nested sequents for the logic of conditional belief
• Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics
• Conditional belief, knowledge and probability
• A sequent calculus for preferential conditional logic based on neighbourhood semantics
• Conditional beliefs: from neighbourhood semantics to sequent calculus
• scientific article; zbMATH DE number 6868325 (Why is no real title available?)
• Comparative plausibility in neighbourhood models: axiom systems and sequent calculi
• A logic of trust-based beliefs
• Egocentric doxastic logic

This page was built for publication:

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