A discrete duality between nonmonotonic consequence relations and convex geometries

DOI10.1007/s11083-019-09497-0zbMath1481.03011OpenAlexW2952788422WikidataQ127733317 ScholiaQ127733317MaRDI QIDQ2183103

Riccardo Pinosio, Johannes Marti

Publication date: 26 May 2020

Published in: Order (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11083-019-09497-0

zbMATH Keywords

dualityconvex geometriesconditional logicantimatroidsnonmonotonic consequence relationspath independent choice functions

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Axiomatic and generalized convexity (52A01) Logics of knowledge and belief (including belief change) (03B42) Social choice (91B14)

Related Items (2)

Resolutions of convex geometries ⋮ CONDITIONAL LOGIC IS COMPLETE FOR CONVEXITY IN THE PLANE

Uses Software

• CoLoSS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A class of infinite convex geometries
• Embedding convex geometries and a bound on convex dimension
• A game semantics for system P
• Dynamic logics of evidence-based beliefs
• The affine representation theorem for abstract convex geometries
• Quick completeness proofs for some logics of conditionals
• A use for frequently rediscovering a concept
• Greedoids
• Possibilistic reasoning with partially ordered beliefs
• The theory of convex geometries
• Two modellings for theory change
• Homomorphisms and Ramsey properties of antimatroids
• Combinatorial representation and convex dimension of convex geometries
• Partition and revision: the semantics of counterfactuals
• Nonmonotonic reasoning, preferential models and cumulative logics
• Choice functions and abstract convex geometries
• Join-semidistributive lattices and convex geometries.
• Dynamic interactive epistemology
• A new characterization of the path independent choice functions
• Hyper-relations, choice functions, and orderings of opportunity sets
• The algebraic face of minimality
• Standard Sequent Calculi for Lewis’ Logics of Counterfactuals
• Convex Geometries
• Optimal Tableaux for Conditional Logics with Cautious Monotonicity
• A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics
• From onions to broccoli: generalizing Lewis' counterfactual logic
• Path Independence, Rationality, and Social Choice
• Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
• The duality between the anti-exchange closure operators and the path independent choice operators on a finite set
• Locally complete path independent choice functions and their lattices
• Antimatroids of finite character

This page was built for publication: A discrete duality between nonmonotonic consequence relations and convex geometries