Cover Image

An axiomatisation of the temporal logic of two dimensional Minkowski spacetime

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Hirsch, Robin
Format:	Preprint
Published:	2024
Subjects:	Logic 03B44
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Strong completeness of a first-order temporal logic for real time
by: Goldblatt, Robert
Published: (2023)

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

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

Effective Completeness for S4.3.1-Theories with Respect to Discrete Linear Models
by: Nichols, David
Published: (2017)

Tense logics based on posets
by: Chajda, Ivan, et al.
Published: (2024)

Theoremizing Yablo's Paradox
by: Karimi, Ahmad, et al.
Published: (2014)

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

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

Coalgebraic Satisfiability Checking for Arithmetic $μ$-Calculi
by: Hausmann, Daniel, et al.
Published: (2022)

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

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

Equivalence of finite non-deterministic logical matrices is undecidable
by: Caleiro, Carlos, et al.
Published: (2024)

Modular many-valued semantics for combined logics
by: Caleiro, Carlos, et al.
Published: (2022)

Multiplicative logic in arithmetic
by: Zhuravlov, Volodymyr
Published: (2024)

Towards a logic of affordances
by: Gruszczynski, Rafal, et al.
Published: (2025)

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

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

On three-valued presentations of classical logic
by: da Ré, Bruno, et al.
Published: (2023)

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

A Basic Łukasiewicz m-valued conditional logic
by: Huo, Shuquan
Published: (2024)

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

Retractors in local positive logic
by: Fanlo, Arturo Rodriguez, et al.
Published: (2024)

Completeness in local positive logic
by: Fanlo, Arturo Rodriguez, et al.
Published: (2024)

Models for the common knowledge logic
by: Tanaka, Yoshihito
Published: (2024)

Expressibility and inexpressibility in propositional team logics
by: Häggblom, Matilda, et al.
Published: (2025)

Possible and impossible conditionals for team logics
by: Barbero, Fausto, et al.
Published: (2026)

Monotonicity versus positivity in modal logics
by: Dvorkin, Lev
Published: (2026)

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

On the expressive power of inquisitive epistemic logic
by: Ciardelli, Ivano, et al.
Published: (2023)

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

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

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

Craig interpolation theorem fails in bi-intuitionistic predicate logic
by: Olkhovikov, Grigory K., et al.
Published: (2022)

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

On the minimization k-valued logic functions in the class of disjunctive normal forms
by: Kabulov, Anvar, et al.
Published: (2024)

Avoiding logical strength in real analysis
by: Freund, Anton, et al.
Published: (2026)

Independence questions in a finite axiom-schematization of first-order logic
by: Jubin, Benoit
Published: (2022)

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

Categoricity for an inferential $ω$-logic and in $L_{ω_1,ω}$
by: Baldwin, John T., et al.
Published: (2026)

Carnapian Frameworks and Categoricity of Arithmetic via Inferential $ω$-logics
by: Baldwin, John T., et al.
Published: (2026)