Conditional beliefs: from neighbourhood semantics to sequent calculus

DOI10.1017/S1755020318000023MaRDI QIDQ4557167zbMATH OpenOpenAlexFDO

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

Publication date 29 November 2018

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020318000023

zbMATH Keywords

Alexandroff correspondencecanonical modelscompletenessconditional doxastic logicdecidabilityepistemic logiclabelled sequent calculusneighbourhood semanticsplausibility semanticsstructural proof theory

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 6863652
• Conditional belief, knowledge and probability
• Conditional doxastic models: a qualitative approach to dynamic belief revision
• A sequent calculus for preferential conditional logic based on neighbourhood semantics
• The logic of conditional doxastic actions

Cites work

• A guide to completeness and complexity for modal logics of knowledge and belief
• A qualitative theory of dynamic interactive belief revision
• A sequent calculus for preferential conditional logic based on neighbourhood semantics
• Belief revision in games: Forward and backward induction
• Conditional doxastic models: a qualitative approach to dynamic belief revision
• Counterfactuals.
• Dynamic epistemic logic
• Dynamic interactive epistemology
• scientific article; zbMATH DE number 3641411 (Why is no real title available?)
• scientific article; zbMATH DE number 7085124 (Why is no real title available?)
• Neighborhood semantics for modal logic
• Proof analysis in intermediate logics
• Proof analysis in modal logic
• Some remarks on the model theory of epistemic plausibility models
• Strong belief and forward induction reasoning.
• Structural proof theory. With an appendix by Aarne Ranta
• The logic of conditional doxastic actions
• Two modellings for theory change

Cited in

(14)

• Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
• Proof-theoretic analysis of the logics of agency: the deliberative STIT
• Public announcements, public lies and recoveries
• Herzberger's limit rule with labelled sequent calculus
• Nested sequents for the logic of conditional belief
• Conditional belief, knowledge and probability
• A sequent calculus for preferential conditional logic based on neighbourhood semantics
• scientific article; zbMATH DE number 6863652 (Why is no real title available?)
• scientific article; zbMATH DE number 6868325 (Why is no real title available?)
• Logical analysis of emotions in text from natural language
• Epistemic logics for relevant reasoners
• Decidable fragments of the quantified argument calculus
• Modular sequent calculi for interpretability logics
• A proof-theoretic approach to formal epistemology

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: Conditional beliefs: from neighbourhood semantics to sequent calculus

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