Seán Matthews (matthews-s)

Contributions to Philosophie.ch

Bibliography

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.
Matthews, Seán. 1994. “A Theory and its Metatheory in \(FS^0\).” in What is a Logical System?, edited by Dov M. Gabbay, pp. 329–354. Oxford: Oxford University Press.
Matthews, Seán. 1998. “Personal Identity, Multiple Personality Disorder, and Moral Personhood.” Philosophical Psychology 11: 67–88.
Matthews, Seán. 2000. “Survival and Separation.” Philosophical Studies 98: 279–303.