CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE
From MaRDI portal
Publication:6041349
DOI10.1017/s1755020321000356zbMath1525.03071arXiv2006.00604OpenAlexW3179653831MaRDI QIDQ6041349
Publication date: 26 May 2023
Published in: The Review of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2006.00604
Cites Work
- Unnamed Item
- Embedding convex geometries and a bound on convex dimension
- Coalgebraic semantics of modal logics: an overview
- Dynamic logics of evidence-based beliefs
- Completeness of S4 with respect to the real line: revisited
- The affine representation theorem for abstract convex geometries
- Quick completeness proofs for some logics of conditionals
- Greedoids
- The theory of convex geometries
- Two modellings for theory change
- Meet-distributive lattices and the anti-exchange closure
- Partition and revision: the semantics of counterfactuals
- Ordering semantics and premise semantics for counterfactuals
- Nonmonotonic reasoning, preferential models and cumulative logics
- Basic conditional logic
- The logic of conditionals. An application of probability to deductive logic
- Choice functions and abstract convex geometries
- Representation of convex geometries by circles on the plane
- Finite convex geometries of circles
- A discrete duality between nonmonotonic consequence relations and convex geometries
- Similarity between preferential models
- The algebra of topology
- Convex Geometries
- Representing convex geometries by almost-circles
- Uniform labelled calculi for preferential conditional logics based on neighbourhood semantics
- A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics
- Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators
- Dynamic logic for belief revision
- From onions to broccoli: generalizing Lewis' counterfactual logic
- A ModalWalk Through Space
- The Modal Multilogic of Geometry
- Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
- Points, lines and diamonds: a two-sorted modal logic for projective planes
- An Analysis of some Deontic Logics
- Choice Functions and Revealed Preference
- Locally complete path independent choice functions and their lattices
This page was built for publication: CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE
