- Finitism in geometry.Jean-Paul Van Bendegem - 2002 - Stanford Encyclopedia of Philosophy.details
|
|
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Cham, Switzerland: Springer International Publishing. pp. 289-337.details
|
|
Twin Paradox and the Logical Foundation of Relativity Theory.Judit X. Madarász, István Németi & Gergely Székely - 2006 - Foundations of Physics 36 (5):681-714.details
|
|
(1 other version)Intrinsic, Extrinsic, and the Constitutive A Priori.László E. Szabó - 2019 - Foundations of Physics:1-13.details
|
|
First-order logic foundation of relativity theories.Judit X. Madarasz, Istvan Nemeti & Gergely Szekely - unknowndetails
|
|
A formal construction of the spacetime manifold.Thomas Benda - 2008 - Journal of Philosophical Logic 37 (5):441 - 478.details
|
|
Investigations of isotropy and homogeneity of spacetime in first-order logic.Judit X. Madarász, Mike Stannett & Gergely Székely - 2022 - Annals of Pure and Applied Logic 173 (9):103153.details
|
|
On the axiomatizability of some first-order spatio-temporal theories.Sándor Vályi - 2015 - Synthese 192 (7):1-17.details
|
|
Axiomatizing relativistic dynamics without conservation postulates.Hajnal Andréka, Judit Madarász X., István Németi & Gergely Székely - 2008 - Studia Logica 89 (2):163 - 186.details
|
|
Using Mathematics to Explain a Scientific Theory.Michèle Friend & Daniele Molinini - 2016 - Philosophia Mathematica 24 (2):185-213.details
|
|
An axiomatic foundation of relativistic spacetime.Thomas Benda - 2015 - Synthese 192 (7):1-16.details
|
|
Comparing classical and relativistic kinematics in first-order logic.Koen Lefever & Gergely Székely - unknowndetails
|
|
Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.details
|
|
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.details
|
|
A Geometrical Characterization of the Twin Paradox and its Variants.Gergely Székely - 2010 - Studia Logica 95 (1-2):161 - 182.details
|
|
Axiomatizing relativistic dynamics using formal thought experiments.Attila Molnár & Gergely Székely - 2015 - Synthese 192 (7):2183-2222.details
|
|
(1 other version)Intrinsic, Extrinsic, and the Constitutive A Priori.László E. Szabó - 2020 - Foundations of Physics 50 (6):555-567.details
|
|