Articles with public access mandates - Hajnal AndrekaLearn more
Available somewhere: 29
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
Mandates: Hungarian Scientific Research Fund
General relativistic hypercomputing and foundation of mathematics
H Andréka, I Németi, P Németi
Natural Computing 8 (3), 499-516, 2009
Mandates: Hungarian Scientific Research Fund
Axiomatizability of positive algebras of binary relations
H Andréka, S Mikulás
Algebra universalis 66 (1), 7, 2011
Mandates: Hungarian Scientific Research Fund
On logical analysis of relativity theories
H Andréka, I Németi, JX Madarász, G Székely
arXiv preprint arXiv:1105.0885, 2011
Mandates: Hungarian Scientific Research Fund
Comparing theories: the dynamics of changing vocabulary
H Andréka, I Németi
Johan van Benthem on logic and information dynamics, 143-172, 2014
Mandates: Hungarian Academy of Sciences, Hungarian Scientific Research Fund
The equational theory of Kleene lattices
H Andréka, S Mikulás, I Németi
Theoretical Computer Science 412 (52), 7099-7108, 2011
Mandates: Hungarian Scientific Research Fund
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
Mandates: Hungarian Scientific Research Fund
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
Mandates: Hungarian Scientific Research Fund
Effective temporal logics of programs
H Andréka, V Goranko, S Mikulás, I Németi, I Sain
Time & Logic, 51-129, 2019
Mandates: Hungarian Scientific Research Fund
Closed timelike curves in relativistic computation
H Andréka, I Németi, G Székely
Parallel Processing Letters 22 (03), 1240010, 2012
Mandates: Hungarian Scientific Research Fund
A note on ‘Einstein's special relativity beyond the speed of light by James M. Hill and Barry J. Cox’
H Andréka, JX Madarász, I Németi, G Székely
Proceedings of the Royal Society A: Mathematical, Physical and Engineering …, 2013
Mandates: Hungarian Scientific Research Fund
A non representable infinite dimensional quasi-polyadic equality algebra with a representable cylindric reduct
H Andréka, I Németi, T Ahmed
Studia Scientiarum Mathematicarum Hungarica 50 (1), 1-16, 2013
Mandates: Hungarian Scientific Research Fund
What are the numbers in which spacetime?
H Andréka, JX Madarász, I Németi, G Székely
arXiv preprint arXiv:1204.1350, 2012
Mandates: Hungarian Scientific Research Fund
Coset relation algebras
H Andréka, S Givant
Algebra universalis 79 (2), 28, 2018
Mandates: Hungarian Scientific Research Fund
Reducing First-order Logic to Df3, Free Algebras
H Andréka, I Németi
Cylindric-like algebras and algebraic logic, 15-35, 2013
Mandates: Hungarian Scientific Research Fund
A representation theorem for measurable relation algebras
S Givant, H Andréka
Annals of Pure and Applied Logic 169 (11), 1117-1189, 2018
Mandates: Hungarian Scientific Research Fund
Finite-variable logics do not have weak Beth definability property
H Andréka, I Németi
The Road to Universal Logic: Festschrift for the 50th Birthday of Jean-Yves …, 2015
Mandates: National Office for Research, Development and Innovation, Hungary
A representation theorem for measurable relation algebras with cyclic groups
H Andréka, S Givant
Transactions of the American Mathematical Society 371 (10), 7175-7198, 2019
Mandates: Hungarian Scientific Research Fund
Functionally dense relation algebras
H Andréka, S Givant
Algebra universalis 68 (1), 151-191, 2012
Mandates: Hungarian Scientific Research Fund
Residuated kleene algebras
H Andréka, S Mikulás, I Németi
Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the …, 2012
Mandates: Hungarian Scientific Research Fund
Publication and funding information is determined automatically by a computer program