Copertina

State-based Modal Logics for Free Choice

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Aloni, Maria, Anttila, Aleksi, Yang, Fan
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Logic Logic in Computer Science 03B65 (Primary) 03B60, 03B45 (Secondary)
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Convex Team Logics
di: Anttila, Aleksi, et al.
Pubblicazione: (2025)

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

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
di: Anttila, Aleksi, et al.
Pubblicazione: (2025)

Natural Term Logic
di: Protin, Clarence
Pubblicazione: (2024)

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

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

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
di: Ayhan, Sara
Pubblicazione: (2023)

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

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

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

On the Contingency of Logic in Possible World Semantics
di: van der Giessen, Iris, et al.
Pubblicazione: (2025)

Examples and counterexamples of injective types
di: de Jong, Tom, et al.
Pubblicazione: (2026)

The Orthologic of Epistemic Modals
di: Holliday, Wesley H., et al.
Pubblicazione: (2022)

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

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

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

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

Axiomatizing modal inclusion logic and its variants
di: Anttila, Aleksi, et al.
Pubblicazione: (2023)

Logics of polyhedral reachability
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2024)

Separation and Definability in Fragments of Two-Variable First-Order Logic with Counting
di: Kuijer, Louwe, et al.
Pubblicazione: (2025)

LF: a Foundational Higher-Order-Logic
di: Goodsell, Zachary, et al.
Pubblicazione: (2024)

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

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

Proof-theoretic methods in quantifier-free definability
di: Kocsis, Zoltan A.
Pubblicazione: (2023)

Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras
di: Forster, Jonas, et al.
Pubblicazione: (2023)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
di: Walsh, Sean
Pubblicazione: (2024)

The most natural paradefinite logic relative to classical logic
di: Middelburg, C. A.
Pubblicazione: (2026)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
di: Lyon, Tim S.
Pubblicazione: (2025)

A classical-logic view on a paraconsistent logic
di: Middelburg, C. A.
Pubblicazione: (2020)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
di: Gylterud, Håkon Robbestad, et al.
Pubblicazione: (2020)

From Interpolating Formulas to Separating Languages and Back Again
di: Kurucz, Agi, et al.
Pubblicazione: (2025)

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

Blok-Esakia Theorems via Stable Canonical Rules
di: Bezhanishvili, Nick, et al.
Pubblicazione: (2022)

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

Aristotle's Second-Order Logic and Natural Deduction
di: Protin, Clarence
Pubblicazione: (2023)

The interdefinability of expansions of Belnap-Dunn logic
di: Middelburg, C. A.
Pubblicazione: (2024)

Interpolation in Non-Classical Logics
di: Fussner, Wesley
Pubblicazione: (2025)

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

Notes on ultrafilter extensions of almost bounded structures
di: Molnár, Zalán
Pubblicazione: (2025)

Kripke-like models of Set Theory in Modal Residuated Logic
di: Moncayo, Jose, et al.
Pubblicazione: (2024)