Logic of space-time and relativity theory H Andréka, JX Madarász, I Németi Handbook of spatial logics, 607-711, 2007 | 76 | 2007 |
A logic road from special relativity to general relativity H Andréka, JX Madarász, I Németi, G Székely Synthese 186, 633-649, 2012 | 71 | 2012 |
Logical axiomatizations of space-time. Samples from the literature H Andréka, JX Madarász, I Németi Non-Euclidean Geometries: János Bolyai Memorial Volume, 155-185, 2006 | 55 | 2006 |
Logic and Relativity (in the light of definability theory) JX Madarász PhD thesis, Eötvös Loránd Univ., Budapest, 2002. http://www. mathinst. hu …, 2002 | 55 | 2002 |
Interpolation and amalgamation; pushing the limits. Part I JX Madarász Studia Logica 61, 311-345, 1998 | 53 | 1998 |
Amalgamation, interpolation and epimorphisms in algebraic logic J Madárasz, T Sayed-Ahmed Algebra Universalis 56 (2), 179-210, 2007 | 49* | 2007 |
On the logical structure of relativity theories H Andréka, JX Madarász, I Németi | 46 | 2002 |
Twin paradox and the logical foundation of relativity theory JX Madarász, I Németi, G Székely Foundations of Physics 36, 681-714, 2006 | 45 | 2006 |
On logical analysis of relativity theories H Andréka, I Németi, JX Madarász, G Székely arXiv preprint arXiv:1105.0885, 2011 | 39 | 2011 |
Mutual definability does not imply definitional equivalence, a simple example H Andréka, JX Madarász, I Németi Mathematical Logic Quarterly 51 (6), 591-597, 2005 | 38 | 2005 |
Axiomatizing relativistic dynamics without conservation postulates H Andréka, JX Madarász, I Németi, G Székely Studia Logica 89, 163-186, 2008 | 37 | 2008 |
First-order logic foundation of relativity theories JX Madarász, I Németi, G Székely Mathematical Problems from Applied Logic II: Logics for the XXIst Century …, 2007 | 27 | 2007 |
Interpolation and amalgamation; pushing the limits. Part II JX Madarász Studia Logica, 1-19, 1999 | 21 | 1999 |
Epimorphisms in cylindric algebras and definability in finite variable logic H Andréka, SD Comer, JX Madarász, I Németi, T Sayed Ahmed Algebra universalis 61, 261-282, 2009 | 19 | 2009 |
Defining new universes in many-sorted logic H Andréka, JX Madarász, I Németi Mathematical Institute of the Hungarian Academy of Sciences, Budapest 93, 2008 | 19 | 2008 |
Faster than light motion does not imply time travel H Andréka, JX Madarász, I Németi, M Stannett, G Székely Classical and Quantum Gravity 31 (9), 095005, 2014 | 18 | 2014 |
Special relativity over the field of rational numbers JX Madarász, G Székely International Journal of Theoretical Physics 52 (5), 1706-1718, 2013 | 18 | 2013 |
with contributions from: A. Andai, G. Sági, I. Sain, and Cs. Toke. On the logical structure of relativity theories H Andréka, JX Madarász, I Németi Research report, Alfréd Rényi Institute of Mathematics, Hungar. Acad. Sci …, 2002 | 18 | 2002 |
Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic JX Madarász Journal of Applied Non-Classical Logics 8 (1-2), 67-105, 1998 | 18 | 1998 |
Neat reducts and amalgamation in retrospect, a survey of results and some methods Part II: Results on amalgamation J Madarász, TS Ahmed Logic Journal of the IGPL 17 (6), 755-802, 2009 | 16* | 2009 |