Judit X. Madarász

19 papers Journal 18
YearRankTypeTitle / Venue / Authors
2024 J jnl
Testing Definitional Equivalence of Theories via automorphism Groups.
Rev. Symb. Log.
Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely
2023 J jnl
No Faster-Than-Light Observers (GenRel).
Arch. Formal Proofs
Mike Stannett, Edward Higgins, Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely
2022 J jnl
Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime.
Ann. Pure Appl. Log.
Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely
2022 J jnl
Groups of WorldView Transformations Implied by Einstein's Special Principle of Relativity over Arbitrary Ordered Fields.
Rev. Symb. Log.
Judit X. Madarász, Mike Stannett, Gergely Székely
2022 J jnl
Investigations of isotropy and homogeneity of spacetime in first-order logic.
Ann. Pure Appl. Log.
Judit X. Madarász, Mike Stannett, Gergely Székely
2021 J jnl
Groups of Worldview Transformations Implied by Isotropy of Space.
FLAP
Judit X. Madarász, Mike Stannett, Gergely Székely
2018 J jnl
Does Negative Mass Imply Superluminal Motion? An Investigation in Axiomatic Relativity Theory.
FLAP
Judit X. Madarász, Gergely Székely, Mike Stannett
2017 J jnl
Three Different Formalisations of Einstein's Relativity Principle.
Rev. Symb. Log.
Judit X. Madarász, Gergely Székely, Mike Stannett
2014 J jnl
The existence of superluminal particles is consistent with relativistic dynamics.
J. Appl. Log.
Judit X. Madarász, Gergely Székely
2012 J jnl
A logic road from special relativity to general relativity.
Synth.
Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely
2012 J jnl
Decidability, Undecidability, and Gödel's Incompleteness in Relativity Theories.
Parallel Process. Lett.
Hajnal Andréka, Judit X. Madarász, István Németi
2009 J jnl
Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts.
Log. J. IGPL
Judit X. Madarász, Tarek Sayed Ahmed
2009 J jnl
Neat reducts and amalgamation in retrospect, a survey of results and some methods Part II: Results on amalgamation.
Log. J. IGPL
Judit X. Madarász, Tarek Sayed Ahmed
2008 J jnl
Axiomatizing Relativistic Dynamics without Conservation Postulates.
Stud Logica
Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely
2007 — ch.
Logic of Space-Time and Relativity Theory.
Handbook of Spatial Logics
Hajnal Andréka, Judit X. Madarász, István Németi
2005 J jnl
Mutual definability does not imply definitional equivalence, a simple example.
Math. Log. Q.
Hajnal Andréka, Judit X. Madarász, István Németi
1999 J jnl
Interpolation and Amalgamation; Pushing the Limits. Part II.
Stud Logica
Judit X. Madarász
1998 J jnl
Interpolation and Amalgamation; Pushing the Limits - Part I.
Stud Logica
Judit X. Madarász
1998 J jnl
Interpolation in Algebraizable Logics; Semantics for Non-normal Multi-modal Logic.
J. Appl. Non Class. Logics
Judit X. Madarász