The temporal logic of two dimensional Minkowski spacetime is decidable (Englisch)
- Neue Suche nach: Hirsch, Robin
- Neue Suche nach: Reynolds, Mark
- Neue Suche nach: Hirsch, Robin
- Neue Suche nach: Reynolds, Mark
In:
Journal of symbolic logic
;
83
, 3
;
829-867
;
2018
-
ISSN:
- Aufsatz (Zeitschrift) / Print
-
Titel:The temporal logic of two dimensional Minkowski spacetime is decidable
-
Beteiligte:Hirsch, Robin ( Autor:in ) / Reynolds, Mark ( Autor:in )
-
Erschienen in:Journal of symbolic logic ; 83, 3 ; 829-867
-
Verlag:
- Neue Suche nach: ASSOCIATION FOR SYMBOLIC LOGIC, INC.
-
Erscheinungsdatum:01.01.2018
-
Format / Umfang:39 pages
-
ISSN:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 511.3
- Weitere Informationen zu Dewey Decimal Classification
-
Klassifikation:
DDC: 511.3 -
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis – Band 83, Ausgabe 3
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 829
-
The temporal logic of two dimensional Minkowski spacetime is decidableHirsch, Robin / Reynolds, Mark et al. | 2018
- 868
-
Truths, inductive definitions, and Kripke-Platek systems over set theoryFujimoto, Kentaro et al. | 2018
- 899
-
A logical and algebraic characterization of adjunctions between generalized quasi-varietiesMoraschini, Tommaso et al. | 2018
- 920
-
The solidity and nonsolidity of initial segments of the core modelFuchs, Gunter / Schindler, Ralf et al. | 2018
- 939
-
On the structure of groups endowed with a compatible C-relationLehéricy, Gabriel et al. | 2018
- 967
-
Truncation and semi-decidability notions in applicative theoriesJäger, Gerhard / Rosebrock, Timotej / Kentaro, Sato et al. | 2018
- 991
-
Interrelation between weak fragments of double negation shift and related principlesFujiwara, Makoto / Kohlenbach, Ulrich et al. | 2018
- 1013
-
Towers in filters, cardinal invariants, and Luzin type familiesBrendle, Jörg / Farkas, Barnabás / Verner, Jonathan et al. | 2018
- 1063
-
Consistency proof of a fragment of PV with substitution in bounded arithmeticYamagata, Yoriyuki et al. | 2018
- 1091
-
Proof-theoretic strengths of weak theories for positive inductive definitionsArai, Toshiyasu et al. | 2018
- 1112
-
On C^(^n^)-extendible cardinalsTsaprounis, Konstantinos et al. | 2018
- 1132
-
From multisets to sets in homotopy type theoryGylterud, Håkon Robbestad et al. | 2018
- 1147
-
An algebraic approach to MSO-definability on countable linear orderingsCarton, Olivier / Colcombet, Thomas / Puppis, Gabriele et al. | 2018
- 1190
-
The complexity of topological group isomorphismKechris, Alexander S. / Nies, André / Tent, Katrin et al. | 2018
- 1204
-
Undecidability of the first order theories of free noncommutative lie algebrasKharlampovich, Olga / Myasnikov, Alexei et al. | 2018
- 1217
-
Simple groups of Morley rank 5 are badDeloro, Adrien / Wiscons, Joshua et al. | 2018
- 1229
-
Provability logics relative to a fixed extension of Peano ArithmeticKurahashi, Taishi et al. | 2018
- 1247
-
Infinite combinatorics plain and simpleSoukup, Dániel T. / Soukup, Lajos et al. | 2018
- 1282
-
Subcomplete forcing, trees, and generic absolutenessFuchs, Gunter / Minden, Kaethe et al. | 2018