István Németi (nemeti-i)
Contributi a Philosophie.ch
No contributions yet
Bibliography
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, 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, 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.
Kurucz, Ágnes, Németi, István, Sain, Ildikó and Simon, András. 1992. “Decidable and Undecidable Logics with a Binary Modality.” Journal of Logic, Language, and Information 1(3): 191–206.
Madarász, Judit X., Németi, István and Töke, Csaba. 2004. “On Generalizing the Logic-Approach to Space-Time Toward General Relativity: First Steps.” in First-Order Logic Revisited, edited by Vincent F. Hendricks, Fabian Neuhaus, Stig Andur Pedersen, Uwe Scheffler, and Heinrich Theodor Wansing, pp. 225–268. Logische Philosophie n. 12. Berlin: Logos Verlag.
Marx, Maarten, Mikulás, Szabolcs, Németi, István and Sain, Ildikó. 1996. “Causes and Remedies for Undecidability in Arrow Logics and Multi-Modal Logics.” in Arrow Logic and Multimodal Logic, edited by Maarten Marx, László Pólos, and Michael Masuch, pp. 35–61. Stanford, California: CSLI Publications.
Marx, Maarten, Milulás, Szabolcs and Németi, István. 1993. “Taming Logic.” Journal of Logic, Language, and Information 2(3): 207–226.
Németi, István. 1996. “A Fine-Structure Analysis of First-Order Logic.” in Arrow Logic and Multimodal Logic, edited by Maarten Marx, László Pólos, and Michael Masuch, pp. 221–247. Stanford, California: CSLI Publications.