CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS

DOI10.1017/S1755020318000023zbMath1445.03015OpenAlexW2802365993MaRDI QIDQ4557167

Vincent Risch, Sara Negri, Nicola Olivetti, Marianna Girlando

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

completenessdecidabilityepistemic logiccanonical modelsstructural proof theoryneighbourhood semanticslabelled sequent calculusconditional doxastic logicAlexandroff correspondenceplausibility semantics

Mathematics Subject Classification ID

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

Related Items (4)

Herzberger's limit rule with labelled sequent calculus ⋮ Logical analysis of emotions in text from natural language ⋮ Proof-theoretic analysis of the logics of agency: the deliberative STIT ⋮ Public announcements, public lies and recoveries

Uses Software

• Pesca

Cites Work

• Proof analysis in intermediate logics
• Proof analysis in modal logic
• Dynamic epistemic logic
• Two modellings for theory change
• A guide to completeness and complexity for modal logics of knowledge and belief
• Belief revision in games: Forward and backward induction
• Strong belief and forward induction reasoning.
• Dynamic interactive epistemology
• Neighborhood semantics for modal logic
• Some remarks on the model theory of epistemic plausibility models
• A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics
• Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS