Judit X. Madarász

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 7

Top Topics

Physically Plausible

Swarm Optimization

Quantifier Elimination

Markov Logic Networks

Top Venues

Ann. Pure Appl. Log.

Rev. Symb. Log.

Arch. Formal Proofs

Publications

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