Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Sauerwald, Kai, Skiba, Kenneth, Fermé, Eduardo, Meyer, Thomas
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence Logic in Computer Science 03E99, 91B14 I.2.4
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

On Strongly-equitable Social Welfare Orders Without the Axiom of Choice
di: Serafin, Luke
Pubblicazione: (2024)

A partial-state space model of unawareness
di: Holliday, Wesley H.
Pubblicazione: (2024)

The Realizability of Revision and Contraction Operators in Epistemic Spaces
di: Sauerwald, Kai, et al.
Pubblicazione: (2024)

Axiomatization of approximate exclusion
di: Häggblom, Matilda
Pubblicazione: (2024)

Axiomatizing approximate inclusion
di: Häggblom, Matilda
Pubblicazione: (2025)

Morita Rigidity for Kleene Algebras
di: Serafin, Luke
Pubblicazione: (2025)

The $\mathsf{HOD}$ Hypothesis and a supercompact cardinal
di: Cheng, Yong
Pubblicazione: (2018)

First-Order Coalition Logic
di: Catta, Davide, et al.
Pubblicazione: (2025)

On the Complexity of the Discussion-based Semantics in Abstract Argumentation
di: Blümel, Lydia, et al.
Pubblicazione: (2026)

Axiomatization and Forcing in Set Theory with Urelements
di: Yao, Bokai
Pubblicazione: (2022)

Generalized Von Neumann Universe and Non-Well-Founded Sets
di: Zhang, Eugene
Pubblicazione: (2023)

The Logic of Correct Models
di: Aguilera, Juan Pablo, et al.
Pubblicazione: (2024)

Agent Interpolation for Knowledge
di: Bílková, Marta, et al.
Pubblicazione: (2025)

Coloring equilateral triangles
di: Zapletal, Jindrich
Pubblicazione: (2025)

Faithful Logic Embeddings in HOL -- Deep and Shallow
di: Benzmüller, Christoph
Pubblicazione: (2025)

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

A Coq-based Axiomatization of Tarski's Mereogeometry
di: Barlatier, Patrick, et al.
Pubblicazione: (2025)

Bounded Model Checking for Unbounded Client Server Systems
di: Phawade, Ramchandra, et al.
Pubblicazione: (2022)

Generalized Borel Sets
di: Agostini, Claudio, et al.
Pubblicazione: (2025)

A Primer for Preferential Non-Monotonic Propositional Team Logics
di: Sauerwald, Kai, et al.
Pubblicazione: (2024)

Modal logic, fundamentally
di: Holliday, Wesley H.
Pubblicazione: (2024)

Mechanised uniform interpolation for modal logics K, GL, and iSL
di: Férée, Hugo, et al.
Pubblicazione: (2024)

Encoding argumentation frameworks with set attackers to propositional logic systems
di: Tang, Shuai, et al.
Pubblicazione: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
di: Tang, Shuai
Pubblicazione: (2025)

On the Complexity and Properties of Preferential Propositional Dependence Logic
di: Sauerwald, Kai, et al.
Pubblicazione: (2025)

Representation Theorems for Cumulative Propositional Dependence Logics
di: Kontinen, Juha, et al.
Pubblicazione: (2026)

On the Complexity of Entailment for Cumulative Propositional Dependence Logics
di: Sauerwald, Kai, et al.
Pubblicazione: (2026)

Almost refinement, reaping, and ultrafilter numbers
di: Brendle, Jörg, et al.
Pubblicazione: (2024)

A Closer Look at the Russell Paradox
di: Sheridan, Flash
Pubblicazione: (2021)

Cofinal families of finite VC-dimension
di: Ben-Neria, Omer, et al.
Pubblicazione: (2025)

Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
di: Wright, Craig Steven
Pubblicazione: (2025)

The Coase Theorem and Ideal Exchanges
di: Lü, Daniel
Pubblicazione: (2025)

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

A foundational characterization of Hoare Logic
di: Leivant, Daniel
Pubblicazione: (2026)

Generalized Baire class functions
di: Ros, Luca Motto, et al.
Pubblicazione: (2024)

Librationism & its classical and extraclassical set theories
di: Bjørdal, Frode A.
Pubblicazione: (2022)

A Note About Models of Synthetic Algebraic Geometry
di: Coquand, Thierry, et al.
Pubblicazione: (2025)

Vague Knowledge: Evidence from Analyst Reports
di: Xiao, Kerry, et al.
Pubblicazione: (2025)

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

A Guide to Krivine Realizability for Set Theory
di: Matthews, Richard
Pubblicazione: (2023)