Copertina

Classification and deontic explosion for contrary-to-duty obligations

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Kjos-Hanssen, Bjørn
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic Logic in Computer Science 03B45
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Swap Kripke models for deontic LFIs
di: Vaz, Mahan, et al.
Pubblicazione: (2025)

Logics of False Belief and Radical Ignorance
di: Fan, Jie
Pubblicazione: (2024)

Lattice initial segments of the hyperdegrees
di: Shore, Richard A., et al.
Pubblicazione: (2014)

Intuitionistic Common Knowledge
di: Zenger, Lukas
Pubblicazione: (2026)

Possibility Frames and Forcing for Modal Logic
di: Holliday, Wesley H.
Pubblicazione: (2025)

Collapsing Constructive and Intuitionistic Modal Logics
di: Pacheco, Leonardo
Pubblicazione: (2024)

First-Order Modal Logic via Logical Categories
di: Ghilardi, Silvio, et al.
Pubblicazione: (2025)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
di: Ghari, Meghdad
Pubblicazione: (2014)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
di: Gallardo, Andrés, et al.
Pubblicazione: (2024)

Lewis and Brouwer meet Strong Löb
di: Visser, Albert, et al.
Pubblicazione: (2024)

Interleaving Logic and Counting
di: van Benthem, Johan, et al.
Pubblicazione: (2025)

Combining swap structures: the case of Paradefinite Ivlev-like modal logics based on FDE
di: Coniglio, Marcelo E.
Pubblicazione: (2023)

A temporal logic of epistemic and normative justifications, with an application to the Protagoras paradox
di: Ghari, Meghdad
Pubblicazione: (2021)

The Size of Interpolants in Modal Logics
di: Cate, Balder ten, et al.
Pubblicazione: (2025)

State-based Modal Logics for Free Choice
di: Aloni, Maria, et al.
Pubblicazione: (2023)

First-Order Fischer Servi Logic
di: Christensen, Ahmee
Pubblicazione: (2024)

Interpolation above S4
di: Santschi, Simon, et al.
Pubblicazione: (2026)

A non-uniform view of Craig interpolation in modal logics with linear frames
di: Kurucz, Agi, et al.
Pubblicazione: (2023)

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations
di: Wolter, Frank, et al.
Pubblicazione: (2024)

Knowability as continuity: a topological account of informational dependence
di: Baltag, Alexandru, et al.
Pubblicazione: (2024)

A meta-modal logic for bisimulations
di: Burrieza, Alfredo, et al.
Pubblicazione: (2025)

Canonicity in power and modal logics of finite achronal width
di: Goldblatt, Robert, et al.
Pubblicazione: (2022)

Game semantics for the constructive $μ$-calculus
di: Pacheco, Leonardo
Pubblicazione: (2023)

Sheaves as oracle computations
di: Ahman, Danel, et al.
Pubblicazione: (2026)

On the computability of cofinal Fraïssé limits
di: Ackerman, Nathanael, et al.
Pubblicazione: (2026)

Nested Sequents for Provability Logic GLP
di: Shamkanov, Daniyar
Pubblicazione: (2014)

A proof system for the positive fragment of GL
di: Tanaka, Yoshihito
Pubblicazione: (2026)

On the unification problem for GLP
di: Beklemishev, Lev D.
Pubblicazione: (2024)

Visser frames for sublogics of $\mathbf{IL}$
di: Okawa, Yuya, et al.
Pubblicazione: (2022)

Extensional concepts in intensional type theory, revisited
di: Kapulkin, Chris, et al.
Pubblicazione: (2023)

On Many-logic modal structures and information-based logics
di: Martins, Manuel, et al.
Pubblicazione: (2026)

Monotonicity versus positivity in modal logics
di: Dvorkin, Lev
Pubblicazione: (2026)

Modal weak Kleene logics: axiomatizations and relational semantics
di: Bonzio, Stefano, et al.
Pubblicazione: (2024)

Modal logics of almost sure validities in some classes of euclidean and transitive frames
di: Sliusarev, Vladislav
Pubblicazione: (2024)

Finite model property of pretransitive analogues of (w)K4 and GL
di: Dvorkin, Lev
Pubblicazione: (2024)

Two types of filtrations for $\mathrm{wK4}$ and its relatives
di: Kudinov, Andrey, et al.
Pubblicazione: (2023)

Algebraic Semantics for the Logic of Proofs
di: Parsa, Amir Farahmand, et al.
Pubblicazione: (2021)

Locally tabular products of modal logics
di: Shapirovsky, Ilya B., et al.
Pubblicazione: (2024)

The Sup Connective in IMALL: A Categorical Semantics
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2022)

On the Logical and Algebraic Aspects of Reasoning with Formal Contexts
di: Howlader, Prosenjit, et al.
Pubblicazione: (2024)