Pages that link to "Item:Q3455765"
From MaRDI portal
The following pages link to A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics (Q3455765):
Displaying 6 items.
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- Proof-theoretic analysis of the logics of agency: the deliberative STIT (Q2046875) (← links)
- A discrete duality between nonmonotonic consequence relations and convex geometries (Q2183103) (← links)
- Standard Sequent Calculi for Lewis’ Logics of Counterfactuals (Q2835877) (← links)
- CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS (Q4557167) (← links)
- CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE (Q6041349) (← links)
