David A. Basin (basin)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Basin, David A. 1994. “Logic Frameworks for Logic Programs.” in Logic Programming Synthesis and Transformation, Meta-Programming in Logic: Fourth International Workshops, LOBSTR’94 andMETA’94, Pisa, Italy, edited by Laurent Fribourg and Franco Turini, pp. 1–16. Berlin: Springer.
Basin, David A. and Matthews, Seán. 2002. “Logical Frameworks.” in Handbook of Philosophical Logic, Volume IX, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 89–164. Dordrecht: Springer.
Basin, David A., Matthews, Seán and Viganà, Luca. 1996a. “Implementing Modal and Relevance Logics in a Logical Framework.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 386–397. San Francisco, California: Morgan Kaufmann Publishers.
Basin, David A., Matthews, Seán and Viganà, Luca. 1996b. Labelled Propositional Modal Logics: Theory and Practice. Saarbrücken: Max-Planck-Institut für Informatik.
Basin, David A., Matthews, Seán and Viganà, Luca. 1998a. “Labelled Modal Logics: Quantifiers.” Journal of Logic, Language, and Information 7(3): 237–263.
Basin, David A., Matthews, Seán and Viganà, Luca. 1998b. “A Modular Presentation of Modal Logics in a Logical Framework.” in The Tbilisi Symposium on Logic, Language and Computation: Selected Papers, edited by Jonathan Ginzburg, Zurab Khasidashvili, Carl Vogel, Jean-Jaques Lévy, and Enric Vallduvı́, pp. 293–308. Stanford, California: CSLI Publications.