A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics
From MaRDI portal
Publication:3455765
DOI10.1007/978-3-319-24312-2_9zbMath1471.03059OpenAlexW2241461299MaRDI QIDQ3455765
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
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
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