Melvin Chris Fitting (fitting-m)

My contributions to Philosophie.ch

Bibliography

Artemov, Sergei N. and Fitting, Melvin Chris. 2011. “Justification Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2011/entries/logic-justification/.
Artemov, Sergei N. and Fitting, Melvin Chris. 2015. “Justification Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2015/entries/logic-justification/.
Artemov, Sergei N. and Fitting, Melvin Chris. 2019. Justification Logic. Reasoning with Reasons. Cambridge Tracts in Mathematics. Cambridge: Cambridge University Press, doi:10.1017/9781108348034.
Artemov, Sergei N. and Fitting, Melvin Chris. 2020. “Justification Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2020/entries/logic-justification/.
Artemov, Sergei N., Fitting, Melvin Chris and Studer, Thomas. 2024. “Justification Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2024/entries/logic-justification/.
Fitting, Melvin Chris. 1969. Intuitionistic Logic, Model Theory and Forcing. Studies in Logic and the Foundations of Mathematics n. 54. Amsterdam: North-Holland Publishing Co.
Fitting, Melvin Chris. 1970a. “An Embedding of Classical Logic in S4.” The Journal of Symbolic Logic 35: 529–534.
Fitting, Melvin Chris. 1970b. “Intuitionistic Model Theory and the Cohen Independence Proofs.” in Intuitionism and Proof Theory. Proceedings of the Summer Conference at Buffalo N.Y. 1968, edited by Akiko Kino, John Myhill, and Richard E. Vesley, pp. 219–226. Studies in Logic and the Foundations of Mathematics n. 60. Amsterdam: North-Holland Publishing Co.
Fitting, Melvin Chris. 1973. “Model Existence Theorems for Modal and Intuitionistic Logics.” The Journal of Symbolic Logic 38: 613–627.
Fitting, Melvin Chris. 1977. “A Tableau System for Propositional S5.” Notre Dame Journal of Formal Logic 18: 292–294.
Fitting, Melvin Chris. 1981. Fundamentals of Generalized Recursion Theory. Studies in Logic and the Foundations of Mathematics n. 105. Amsterdam: North-Holland Publishing Co.
Fitting, Melvin Chris. 1983a. Proof Methods for Modal and Intuitionistic Logics. Synthese Library n. 169. Dordrecht: D. Reidel Publishing Co.
Fitting, Melvin Chris. 1983b. Computability Theory: Semantics and Logic Programming. Oxford Logic Guides n. 13. Oxford: Oxford University Press.
Fitting, Melvin Chris. 1984. “A Symmetric Approach to Axiomatizing Quantifiers and Modalities.” Synthese 60: 5–20.
Fitting, Melvin Chris. 1985a. “A Kripke-Kleene Semantics for Logic Programs.” Journal of Logic Programming 4: 295–312.
Fitting, Melvin Chris. 1985b. “A Deterministic Prolog Fixpoint Semantics.” Journal of Logic Programming 2: 111–118.
Fitting, Melvin Chris. 1986a. “Notes on the Mathematical Aspects of Kripke’s Theory of Truth.” Notre Dame Journal of Formal Logic 27(1): 75–88.
Fitting, Melvin Chris. 1986b. “Partial Models and Logic Programming.” Theoretical Computer Science 48: 229–255.
Fitting, Melvin Chris. 1987. “Enumeration Operators and Modular Logic Programming.” Journal of Logic Programming 4: 11–21.
Fitting, Melvin Chris. 1988a. “First-Order Modal Tableaux.” Journal of Automated Reasoning 4: 191–213.
Fitting, Melvin Chris. 1988b. “Logic Programming on a Topological Bilattice.” Fundamenta Mathematicae 11: 209–218.
Fitting, Melvin Chris. 1988c. “Modal Logic Should Say More Than It Does.” Unpublished manuscript, Lehmann College.
Fitting, Melvin Chris. 1989. “Bilattices and the Theory of Truth.” The Journal of Philosophical Logic 18(3): 225–256.
Fitting, Melvin Chris. 1991. “Many-Valued Modal Logics.” Fundamenta Informaticae 15(3–4): 335–335.
Fitting, Melvin Chris. 1993. “Basic Modal Logic.” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 1: Logical Foundations, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. 368–448. Oxford: Oxford University Press.
Fitting, Melvin Chris. 1995. “Annotated Revision Specification Programs.” in Logic Programming and Nonmonotonic Reasoning, edited by Wictor W. Marek, Anil Nerode, and Marek Truszczyński. Berlin: Springer.
Fitting, Melvin Chris. 1997. “A Theory of Truth Prefers Falsehood.” The Journal of Philosophical Logic 26(3): 477–500.
Fitting, Melvin Chris. 1998. “Bertrand Russell, Herbrand’s Theorem, and the Assignment Statement.” in Artificial Intelligence and Symbolic Computation: Proceedings of AISC’98, edited by Jacques Calmet and Jan Plaza, pp. 14–28. Berlin: Springer.
Fitting, Melvin Chris. 1999a. “Introduction.” in Handbook of Tableau Methods, edited by Marcello D’Agostino, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga, pp. 1–44. Berlin: Springer.
Fitting, Melvin Chris. 1999b. “Herbrand’s Theorem for a Modal Logic.” in Logic and Foundation of Mathematics, edited by Andrea Cantini, Ettore Casari, and Pierluigi Minari, pp. 219–226. Synthese Library n. 280. Dordrecht: Kluwer Academic Publishers.
Fitting, Melvin Chris. 2002a. Types, Tableaus, and Gödel’s God. Trends in Logic (Studia Logica Library) n. 13. Dordrecht: Kluwer Academic Publishers.
Fitting, Melvin Chris. 2002b. “First-Order Alethic Modal Logic.” in A Companion to Philosophical Logic, edited by Dale Jacquette, pp. 410–421. Blackwell Companions to Philosophy. Oxford: Blackwell Publishers, doi:10.1002/9780470996751.
Fitting, Melvin Chris. 2003a. “Intensional Logic – Beyond First Order.” in Trends in Logic: 50 Years of Studia Logica, edited by Vincent F. Hendricks and Jacek Malinowski, pp. 87–108. Dordrecht: Kluwer Academic Publishers.
Fitting, Melvin Chris. 2003b. “Bisimulations and Boolean Vectors.” in Advances in Modal Logic, volume IV, edited by Philippe Balbiani, Suzuki Nobi-Yuki, Frank Wolter, and Michael Zakharyaschev, pp. 97–126. London: King’s College Publications.
Fitting, Melvin Chris. 2005. “A Logic of Explicit Knowledge.” in The Logica Yearbook 2004, edited by Marta Bı́lková and Libor Běhounek, pp. 11–22. Praha: Filosofia. Nakladetelstvı́ Filosofického ústavu AV ČR.
Fitting, Melvin Chris. 2006. “Intensional Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/fall2006/entries/logic-intensional/.
Fitting, Melvin Chris. 2007. “Intensional Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/spr2007/entries/logic-intensional/.
Fitting, Melvin Chris. 2009. “Reasoning with Justifications.” in Towards Mathematical Philosophy. Papers from the Studia Logica Conference Trends in Logic IV, edited by David C. Makinson, Jacek Malinowski, and Heinrich Theodor Wansing, pp. 107–124. Trends in Logic n. 28. Dordrecht: Springer, doi:10.1007/978-1-4020-9084-4.
Fitting, Melvin Chris. 2011a. “Intensional Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/spr2011/entries/logic-intensional/.
Fitting, Melvin Chris. 2011b. “The Realization Theorem for S5: A Simple, Constructive Proof.” in Games, Norms and Reasons. Logic at the Crossroads, edited by Johan van Benthem, Amitabha Gupta, and Eric Pacuit, pp. 61–76. Synthese Library n. 353. Dordrecht: Springer.
Fitting, Melvin Chris. 2015. “Intensional Logic.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/sum2015/entries/logic-intensional/.
Fitting, Melvin Chris. 2017. “Russell’s Paradox, Gödel’s Theorem.” in Raymond Smullyan on Self Reference, edited by Melvin Chris Fitting and Brian Rayman, pp. 47–66. Outstanding Contributions to Logic n. 14. Cham: Springer.
Fitting, Melvin Chris and Fitting, Greer. 1990. “Numbers.” Unpublished manuscript.
Fitting, Melvin Chris and Mendelsohn, Richard Lloyd. 1998. First Order Modal Logic. Synthese Library n. 277. Dordrecht: Kluwer Academic Publishers.
Fitting, Melvin Chris and Mendelsohn, Richard Lloyd. 2023. First Order Modal Logic. 2nd ed. Synthese Library. Dordrecht: Springer, doi:10.1007/978-3-031-40714-7.
Fitting, Melvin Chris and Rayman, Brian, eds. 2017. Raymond Smullyan on Self Reference. Outstanding Contributions to Logic n. 14. Cham: Springer.
Fitting, Melvin Chris, Thalmann, Lars and Voronkov, Andrei. 2001. “Term-Modal Logics.” Studia Logica: An International Journal for Symbolic Logic 69(1): 133–169.
Smullyan, Raymond M. and Fitting, Melvin Chris. 1996. Set Theory and the Continuum Problem. Oxford Logic Guides n. 34. Oxford: Oxford University Press. second edition: Smullyan and Fitting (2010).
Smullyan, Raymond M. and Fitting, Melvin Chris. 2010. Set Theory and the Continuum Problem. 2nd ed. Mineola, New York: Dover Publications. First edition: Smullyan and Fitting (1996).
Ye, Ruili and Fitting, Melvin Chris. 2002. “Belief, Names, and Modes of Presentation.” in Advances in Modal Logic, volume III, edited by Frank Wolter, Heinrich Theodor Wansing, Maarten de Rijke, and Michael Zakharyaschev, pp. 389–408. Singapore: World Scientific Publishing Co.