Judit X. Madarász

According to our database, Judit X. Madarász authored at least 18 papers between 1998 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

No Faster-Than-Light Observers (GenRel).

Mike Stannett, Edward Higgins, Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely

Arch. Formal Proofs, 2023

2022

Groups of WorldView Transformations Implied by Einstein's Special Principle of Relativity over Arbitrary Ordered Fields.

Judit X. Madarász, Mike Stannett, Gergely Székely

Rev. Symb. Log., 2022

Investigations of isotropy and homogeneity of spacetime in first-order logic.

Judit X. Madarász, Mike Stannett, Gergely Székely

Ann. Pure Appl. Log., 2022

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

Ann. Pure Appl. Log., 2022

2021

Groups of Worldview Transformations Implied by Isotropy of Space.

Judit X. Madarász, Mike Stannett, Gergely Székely

FLAP, 2021

2018

Does Negative Mass Imply Superluminal Motion? An Investigation in Axiomatic Relativity Theory.

Judit X. Madarász, Gergely Székely, Mike Stannett

FLAP, 2018

2017

Three Different Formalisations of Einstein's Relativity Principle.

Judit X. Madarász, Gergely Székely, Mike Stannett

Rev. Symb. Log., 2017

2014

The existence of superluminal particles is consistent with relativistic dynamics.

Judit X. Madarász, Gergely Székely

J. Appl. Log., 2014

2012

A logic road from special relativity to general relativity.

Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely

Synth., 2012

Decidability, Undecidability, and Gödel's Incompleteness in Relativity Theories.

Hajnal Andréka, Judit X. Madarász, István Németi

Parallel Process. Lett., 2012

2009

Neat reducts and amalgamation in retrospect, a survey of results and some methods Part II: Results on amalgamation.

Judit X. Madarász, Tarek Sayed Ahmed

Log. J. IGPL, 2009

Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts.

Judit X. Madarász, Tarek Sayed Ahmed

Log. J. IGPL, 2009

2008

Axiomatizing Relativistic Dynamics without Conservation Postulates.

Hajnal Andréka, Judit X. Madarász, István Németi, Gergely Székely

Stud Logica, 2008

2007

Logic of Space-Time and Relativity Theory.

Hajnal Andréka, Judit X. Madarász, István Németi

Proceedings of the Handbook of Spatial Logics, 2007

2005

Mutual definability does not imply definitional equivalence, a simple example.

Hajnal Andréka, Judit X. Madarász, István Németi

Math. Log. Q., 2005

1999

Interpolation and Amalgamation; Pushing the Limits. Part II.

Judit X. Madarász

Stud Logica, 1999

1998

Interpolation and Amalgamation; Pushing the Limits - Part I.

Judit X. Madarász

Stud Logica, 1998

Interpolation in Algebraizable Logics; Semantics for Non-normal Multi-modal Logic.

Judit X. Madarász

J. Appl. Non Class. Logics, 1998