Hajnal Andréka (andreka)

Contributions to Philosophie.ch

Bibliography

Andréka, Hajnal. 1997a. “Complexity of Equations Valid in Algebras of Relations I: Strong Non-Finitzability.” Annals of Pure and Applied Logic 89(2): 149–209.
Andréka, Hajnal. 1997b. “Complexity of Equations Valid in Algebras of Relations II: Finite Axiomatizations.” Annals of Pure and Applied Logic 89: 211–229.
Andréka, Hajnal, van Benthem, Johan and Németi, István. 2017. “On a New Semantics for First-Order Predicate Logic.” The Journal of Philosophical Logic 46(3): 259–267.
Andréka, Hajnal, Duntsch, Ivo and Németi, István. 1982. “A Complete Logic for Reasoning about Programs Via Nonstandard Model Theory I.” Theoretical Computer Science 17: 192–212.
Andréka, Hajnal, Duntsch, Ivo and Németi, István. 1995. “Expressibility of Properties of Relations.” The Journal of Symbolic Logic 60: 970–991.
Andréka, Hajnal and Givant, Steven. 2002. “Groups and Algebras of Binary Relations.” The Bulletin of Symbolic Logic 8: 38–64.
Andréka, Hajnal, Hodkinson, Ian, Németi, István and Sain, Ildikó. 1999. “Finite Algebras of Relations Are Representable on Finite Sets.” The Journal of Symbolic Logic 64: 243–267.
Andréka, Hajnal, Kurucz, Ágnes, Németi, István, Sain, Ildikó and Simon, András. 1994. “Applying Algebraic Logic: A General Methodology.” Unpublished manuscript.
Andréka, Hajnal, Kurucz, Ágnes, Németi, István, Sain, Ildikó and Simon, András. 1996. “Investigations in Arrow Logic.” in Arrow Logic and Multimodal Logic, edited by Maarten Marx, László Pólos, and Michael Masuch, pp. 63–99. Stanford, California: CSLI Publications.
Andréka, Hajnal, Madarász, Judit X., Németi, István, Németi, Péter and Székely, Gergely. 2018. “Relativistic Computation.” in Physical Perspectives on Computation, Computational Perspectives on Physics, edited by Michael E. Cuffaro and Samuel C. Fletcher, pp. 195–218. Cambridge: Cambridge University Press, doi:10.1017/9781316759745.
Andréka, Hajnal, Madarász, Judit X., Németi, István and Székely, Gergely. 2004. “Logical Analysis of Relativity Theories.” in First-Order Logic Revisited, edited by Vincent F. Hendricks, Fabian Neuhaus, Stig Andur Pedersen, Uwe Scheffler, and Heinrich Theodor Wansing, pp. 7–36. Logische Philosophie n. 12. Berlin: Logos Verlag.
Andréka, Hajnal, Madarász, Judit X., Németi, István and Székely, Gergely. 2012. “Logic for Physical Space.” Synthese 186(3): 633–649.
Andréka, Hajnal and Maddux, Roger D. 1994. “Representation for Small Relation Algebras.” Notre Dame Journal of Formal Logic 35(4): 550–562.
Andréka, Hajnal and Mikulás, Szabolcs. 1994. “Lambek Calculus and its Relational Semantics: Completeness and Incompleteness.” Journal of Logic, Language, and Information 3(1): 1–37.
Andréka, Hajnal, Németi, István and van Benthem, Johan. 1998. “Modal Logic and Bounded Fragments of Predicate Logic.” The Journal of Philosophical Logic 27(3): 217–274.
Andréka, Hajnal, Németi, István and Sain, Ildikó. 1994. “Some New Landmarks on the Roadmap of Two Dimensional Logics.” in Logic and Information Flow, edited by Jan van Eijck and Albert Visser, pp. 163–169. Cambridge, Massachusetts: The MIT Press.
Andréka, Hajnal, Németi, István and Sain, Ildikó. 2001. “Algebraic Logic.” in Handbook of Philosophical Logic, Volume II, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 133–248. Dordrecht: Springer.
Németi, István and Andréka, Hajnal. 1994. “General Algebraic Logic: A Perspective on ‘What is Logic’ .” in What is a Logical System?, edited by Dov M. Gabbay, pp. 393–443. Oxford: Oxford University Press.