Gergely Székely
- On Generalization of Definitional Equivalence to Languages with Non-Disjoint Signatures
2018/02/19 by Koen Lefever, Lefever, Koen, Gergely Székely +1 · 3 citations
Computer Science · Mathematics · #math.LO
- A logic road from special relativity to general relativity
2011/03/21 by Hajnal Andréka, Judit X. Madarász, István Németi +2 · 3 citations
Psychology · Arts and Humanities · #Philosophy and Theoretical Science #Philosophy, Science, and History #Philosophy and History of Science
- Comparing Classical and Relativistic Kinematics in First-Order Logic
2017/07/13 by Koen Lefever, Lefever, Koen, Gergely Székely +1 · 1 citation
Mathematics · Physics and Astronomy · #math-ph #math.LO #math.MP