Buchumschlag

Axiomatics of Restricted Choices by Linear Orders of Sets with Minimum as Fallback

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Sauerwald, Kai, Skiba, Kenneth, Fermé, Eduardo, Meyer, Thomas
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence Logic in Computer Science 03E99, 91B14 I.2.4
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On Strongly-equitable Social Welfare Orders Without the Axiom of Choice
von: Serafin, Luke
Veröffentlicht: (2024)

A partial-state space model of unawareness
von: Holliday, Wesley H.
Veröffentlicht: (2024)

The Realizability of Revision and Contraction Operators in Epistemic Spaces
von: Sauerwald, Kai, et al.
Veröffentlicht: (2024)

Axiomatization of approximate exclusion
von: Häggblom, Matilda
Veröffentlicht: (2024)

Axiomatizing approximate inclusion
von: Häggblom, Matilda
Veröffentlicht: (2025)

Morita Rigidity for Kleene Algebras
von: Serafin, Luke
Veröffentlicht: (2025)

The $\mathsf{HOD}$ Hypothesis and a supercompact cardinal
von: Cheng, Yong
Veröffentlicht: (2018)

First-Order Coalition Logic
von: Catta, Davide, et al.
Veröffentlicht: (2025)

On the Complexity of the Discussion-based Semantics in Abstract Argumentation
von: Blümel, Lydia, et al.
Veröffentlicht: (2026)

Axiomatization and Forcing in Set Theory with Urelements
von: Yao, Bokai
Veröffentlicht: (2022)

Generalized Von Neumann Universe and Non-Well-Founded Sets
von: Zhang, Eugene
Veröffentlicht: (2023)

The Logic of Correct Models
von: Aguilera, Juan Pablo, et al.
Veröffentlicht: (2024)

Agent Interpolation for Knowledge
von: Bílková, Marta, et al.
Veröffentlicht: (2025)

Coloring equilateral triangles
von: Zapletal, Jindrich
Veröffentlicht: (2025)

Faithful Logic Embeddings in HOL -- Deep and Shallow
von: Benzmüller, Christoph
Veröffentlicht: (2025)

Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
von: Benzmüller, Christoph, et al.
Veröffentlicht: (2026)

A Coq-based Axiomatization of Tarski's Mereogeometry
von: Barlatier, Patrick, et al.
Veröffentlicht: (2025)

Bounded Model Checking for Unbounded Client Server Systems
von: Phawade, Ramchandra, et al.
Veröffentlicht: (2022)

Generalized Borel Sets
von: Agostini, Claudio, et al.
Veröffentlicht: (2025)

A Primer for Preferential Non-Monotonic Propositional Team Logics
von: Sauerwald, Kai, et al.
Veröffentlicht: (2024)

Modal logic, fundamentally
von: Holliday, Wesley H.
Veröffentlicht: (2024)

Mechanised uniform interpolation for modal logics K, GL, and iSL
von: Férée, Hugo, et al.
Veröffentlicht: (2024)

Encoding argumentation frameworks with set attackers to propositional logic systems
von: Tang, Shuai, et al.
Veröffentlicht: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
von: Tang, Shuai
Veröffentlicht: (2025)

On the Complexity and Properties of Preferential Propositional Dependence Logic
von: Sauerwald, Kai, et al.
Veröffentlicht: (2025)

Representation Theorems for Cumulative Propositional Dependence Logics
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)

On the Complexity of Entailment for Cumulative Propositional Dependence Logics
von: Sauerwald, Kai, et al.
Veröffentlicht: (2026)

Almost refinement, reaping, and ultrafilter numbers
von: Brendle, Jörg, et al.
Veröffentlicht: (2024)

A Closer Look at the Russell Paradox
von: Sheridan, Flash
Veröffentlicht: (2021)

Cofinal families of finite VC-dimension
von: Ben-Neria, Omer, et al.
Veröffentlicht: (2025)

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
von: Wright, Craig Steven
Veröffentlicht: (2025)

The Coase Theorem and Ideal Exchanges
von: Lü, Daniel
Veröffentlicht: (2025)

Hindman and Owings-like theorems without the Axiom of Choice
von: Guzmán-Vega, José A., et al.
Veröffentlicht: (2026)

A foundational characterization of Hoare Logic
von: Leivant, Daniel
Veröffentlicht: (2026)

Generalized Baire class functions
von: Ros, Luca Motto, et al.
Veröffentlicht: (2024)

Librationism & its classical and extraclassical set theories
von: Bjørdal, Frode A.
Veröffentlicht: (2022)

A Note About Models of Synthetic Algebraic Geometry
von: Coquand, Thierry, et al.
Veröffentlicht: (2025)

Vague Knowledge: Evidence from Analyst Reports
von: Xiao, Kerry, et al.
Veröffentlicht: (2025)

Maximal δ-separated sets in separable metric spaces and weak forms of choice
von: Dybowski, Michał, et al.
Veröffentlicht: (2024)

A Guide to Krivine Realizability for Set Theory
von: Matthews, Richard
Veröffentlicht: (2023)