Eike Ritter (ritter-ei)

Beiträge zu Philosophie.ch

Bibliography

Alechina, Natasha, Paiva, Valeria de and Ritter, Eike. 2000. “Relating Categorical and Kripke Semantics for Intuitionistic Modal Logics.” in Advances in Modal Logic, volume II, edited by Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, and Heinrich Theodor Wansing, pp. 35–52. Stanford, California: CSLI Publications.
Pym, David J. and Ritter, Eike. 2004. Reductive Logic and Proof-Search. Proof Theory, Semantics, and Control. Oxford Logic Guides n. 45. Oxford: Oxford University Press.