Buchumschlag

Modal logic, fundamentally

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Holliday, Wesley H.
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic Logic in Computer Science 03B45, 06B15, 03G10 F.4.1; I.2.4
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Possibility Semantics
von: Holliday, Wesley H.
Veröffentlicht: (2024)

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

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

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
von: Holliday, Wesley H.
Veröffentlicht: (2022)

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

Preconditionals
von: Holliday, Wesley H.
Veröffentlicht: (2024)

Uniform Interpolation
von: van Gool, Sam
Veröffentlicht: (2025)

Locally tabular products of modal logics
von: Shapirovsky, Ilya B., et al.
Veröffentlicht: (2024)

The Orthologic of Epistemic Modals
von: Holliday, Wesley H., et al.
Veröffentlicht: (2022)

Sufficient conditions for local tabularity of a polymodal logic
von: Shapirovsky, Ilya B.
Veröffentlicht: (2022)

On distance logics of Euclidean spaces
von: Agnew, Gabriel, et al.
Veröffentlicht: (2025)

FMP for QD logics. A wrong proof
von: Gasquet, Olivier
Veröffentlicht: (2025)

Complexity of some modal logics of density (extended version)
von: Balbiani, Philippe, et al.
Veröffentlicht: (2025)

First-Order Fischer Servi Logic
von: Christensen, Ahmee
Veröffentlicht: (2024)

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

Inclusion with repetitions and Boolean constants -- implication problems revisited
von: Häggblom, Matilda
Veröffentlicht: (2025)

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

Knowability as continuity: a topological account of informational dependence
von: Baltag, Alexandru, 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)

Reopening of the conjecture about the decidability of Quasi-Dense Modal Logics (Comments on Lyon & Ostropolski-Nalewaja's result)
von: Gasquet, Olivier
Veröffentlicht: (2025)

Possibility Frames and Forcing for Modal Logic
von: Holliday, Wesley H.
Veröffentlicht: (2025)

Sheaves as oracle computations
von: Ahman, Danel, et al.
Veröffentlicht: (2026)

Support + Belief = Decision Trust
von: Aldini, Alessandro, et al.
Veröffentlicht: (2024)

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

Knocking Down Boxes: The FMP for $\mathbf{K} \oplus \Box^{m+k} p \to \Box^m p$
von: Knudstorp, Søren Brinck
Veröffentlicht: (2025)

On an ordinary expansion of first-order Belnap-Dunn logic
von: Middelburg, C. A.
Veröffentlicht: (2023)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
von: Walsh, Sean
Veröffentlicht: (2024)

The logic of bunched implications is undecidable
von: Galatos, Nick, et al.
Veröffentlicht: (2026)

Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic
von: Castiglioni, José Luis, et al.
Veröffentlicht: (2025)

A declarative approach to specifying distributed algorithms using three-valued modal logic
von: Gabbay, Murdoch J., et al.
Veröffentlicht: (2025)

Which are the True Defeasible Logics?
von: Maher, Michael J.
Veröffentlicht: (2024)

Finite Hilbert systems for Weak Kleene logics
von: Greati, Vitor, et al.
Veröffentlicht: (2024)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
von: Anttila, Aleksi, et al.
Veröffentlicht: (2025)

Generating proof systems for three-valued propositional logics
von: Greati, Vitor, et al.
Veröffentlicht: (2024)

On the expressive power of inquisitive epistemic logic
von: Ciardelli, Ivano, et al.
Veröffentlicht: (2023)

Towards Weak Stratification for Logics of Definitions
von: Guermond, Nathan
Veröffentlicht: (2026)

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)

Relational Models for the Lambek Calculus with Intersection and Constants
von: Kuznetsov, Stepan L.
Veröffentlicht: (2022)