- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Investigations of isotropy and homogeneity of spacetime in first-order logic
Annals of Pure and Applied Logic 173 (9):103153 (2022)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime.Hajnal Andréka, Judit X. Madarász, István Németi & Gergely Székely - 2022 - Annals of Pure and Applied Logic 173 (5):103100.
On the constancy of the velocity of light.T. M. Kalotas & A. R. Lee - 1978 - Foundations of Physics 8 (7-8):603-607.
First-order logic foundation of relativity theories.Judit X. Madarasz, Istvan Nemeti & Gergely Szekely - unknown
Electrodynamics and Spacetime Geometry: Foundations.Francisco Cabral & Francisco S. N. Lobo - 2017 - Foundations of Physics 47 (2):208-228.
On the axiomatizability of some first-order spatio-temporal theories.Sándor Vályi - 2015 - Synthese 192 (7):1-17.
Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic.Judit Madarász & Gergely Székely (eds.) - 2021 - Springer.
A System of Axioms for Minkowski Spacetime.Lorenzo Cocco & Joshua Babic - 2020 - Journal of Philosophical Logic 50 (1):149-185.
Three different formalisations of einstein’s relativity principle.Judit X. Madarász, Gergely Székely & Mike Stannett - 2017 - Review of Symbolic Logic 10 (3):530-548.
A System of Axioms for Minkowski Spacetime.Lorenzo Cocco & Joshua Babic - 2020 - Journal of Philosophical Logic (1):1-37.
Relativistic Linear Spacetime Transformations Based on Symmetry.Friedman Yaakov & Gofman Yuriy - 2002 - Foundations of Physics 32 (11):1717-1736.
The Relativity Principle and the Isotropy of Boosts.Tim Budden - 1992 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:528 - 541.
On the homogeneity property for certain quantifier logics.Heike Mildenberger - 1992 - Archive for Mathematical Logic 31 (6):445-455.
A Note on the Modal and Temporal Logics for N -Dimensional Spacetime.John F. Phillips - 1998 - Notre Dame Journal of Formal Logic 39 (4):545-553.
Analytics
Added to PP
2022-06-08
Downloads
30 (#533,027)
6 months
11 (#237,895)
2022-06-08
Downloads
30 (#533,027)
6 months
11 (#237,895)
Historical graph of downloads
References found in this work
A logic road from special relativity to general relativity.Hajnal Andréka, Judit X. Madarász, István Németi & Gergely Székely - 2012 - Synthese 186 (3):633 - 649.
A System of Axioms for Minkowski Spacetime.Lorenzo Cocco & Joshua Babic - 2020 - Journal of Philosophical Logic (1):1-37.
A System of Axioms for Minkowski Spacetime.Lorenzo Cocco & Joshua Babic - 2020 - Journal of Philosophical Logic 50 (1):149-185.
Axiomatizing Relativistic Dynamics without Conservation Postulates.H. Andréka, J. X. Madarász, I. Németi & G. Székely - 2008 - Studia Logica 89 (2):163-186.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-g9b9l uwo