Cover Image

On the Contingency of Logic in Possible World Semantics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	van der Giessen, Iris, Joosten, Joost J., Mayaux, Paul, Arroyo, Vicent Navarro
Format:	Preprint
Published:	2025
Subjects:	Logic Primary 03B45, Secondary 03B05, 03B20
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Natural Term Logic
by: Protin, Clarence
Published: (2024)

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

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

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

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

Positive indiscernibles
by: Kamsma, Mark
Published: (2023)

Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)

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

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

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

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

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)

Logics of polyhedral reachability
by: Bezhanishvili, Nick, et al.
Published: (2024)

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

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

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

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

Failure of Esakia's theorem in the monadic setting
by: Bezhanishvili, Guram, et al.
Published: (2024)

Esakia's theorem for the amended monadic intuitionistic calculus
by: Bezhanishvili, Guram, et al.
Published: (2025)

Conditional reasoning and the shadows it casts onto the first-order logic: the Nelsonian case
by: Olkhovikov, Grigory
Published: (2024)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
by: Oddsson, Hrafn Valtýr
Published: (2026)

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

Intuitionistic Common Knowledge
by: Zenger, Lukas
Published: (2026)

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

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

Sub-sub-intuitionistic logic
by: Deakin, Jonte, et al.
Published: (2024)

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

Revisiting Interpolation in Relevant Logics
by: Fussner, Wesley, et al.
Published: (2025)

A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
by: Leme, Renato, et al.
Published: (2023)

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

Interpolation above S4
by: Santschi, Simon, et al.
Published: (2026)

Cut-free sequent calculi for the provability logic D
by: Kashima, Ryo, et al.
Published: (2023)

Uniform Interpolation
by: van Gool, Sam
Published: (2025)

Degree of Kripke-incompleteness of Tense Logics
by: Chen, Qian
Published: (2025)

Pretabular Tense Logics over S4t
by: Chen, Qian
Published: (2024)

Modal Semantics for Reasoning with Probability and Uncertainty
by: Guallart, Nino
Published: (2024)

Modern Definition and Ancient Definition
by: Protin, Clarence
Published: (2022)

Interleaving Logic and Counting
by: van Benthem, Johan, et al.
Published: (2025)

A simplified lower bound for implicational logic
by: Jeřábek, Emil
Published: (2023)

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