A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics

DOI10.1007/978-3-319-24312-2_9zbMath1471.03059OpenAlexW2241461299MaRDI QIDQ3455765

Sara Negri, Nicola Olivetti

Publication date: 11 December 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-24312-2_9

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05)

Related Items

CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS, A discrete duality between nonmonotonic consequence relations and convex geometries, CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE, Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017, Proof-theoretic analysis of the logics of agency: the deliberative STIT, Standard Sequent Calculi for Lewis’ Logics of Counterfactuals

Uses Software

• CoLoSS

Cites Work

• Unnamed Item
• Unnamed Item
• Proof analysis in intermediate logics
• Quick completeness proofs for some logics of conditionals
• Proof analysis in modal logic
• A refined theory of counterfactuals
• Nonmonotonic reasoning, preferential models and cumulative logics
• Basic conditional logic
• Proofs and countermodels in non-classical logics
• Nested sequent calculi for normal conditional logics
• PROOF ANALYSIS FOR LEWIS COUNTERFACTUALS
• Sequent Systems for Lewis’ Conditional Logics
• Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
• Tableau calculus for preference-based conditional logics
• Countermodels from Sequent Calculi in Multi-Modal Logics
• Optimal Tableaux for Conditional Logics with Cautious Monotonicity
• Proof Analysis
• A sequent calculus and a theorem prover for standard conditional logics
• A semantic analysis of conditional logic1
• Generic Modal Cut Elimination Applied to Conditional Logics