Melvin Fitting

Melvin Fitting: Prefixed tableaus and nested sequents. Ann. Pure Appl. Logic 163(3): 291-313 (2012)

Melvin Fitting: Torben Braüner, Hybrid Logic and its Proof-Theory, Applied Logic Series Volume 37, Springer, 2011, pp. XIII+231. ISBN: 978-94-007-0001-7 (hardcover) EURO 99, 95, ISBN: 978-94-007-0002-4 (eBook) EURO 99, 99. Studia Logica 100(5): 1051-1053 (2012)

Melvin Fitting: Reasoning About Games. Studia Logica 99(1-3): 143-169 (2011)

Melvin Fitting: Justification logics and hybrid logics. J. Applied Logic 8(4): 356-370 (2010)

Melvin Fitting: Realizations and LP. Ann. Pure Appl. Logic 161(3): 368-387 (2009)

Melvin Fitting: How True It Is = Who Says It's True. Studia Logica 91(3): 335-366 (2009)

Melvin Fitting: Justification logics, logics of knowledge, and conservativity. Ann. Math. Artif. Intell. 53(1-4): 153-167 (2008)

Melvin Fitting: A quantified logic of evidence. Ann. Pure Appl. Logic 152(1-3): 67-83 (2008)

Melvin Fitting: S4LPand Local Realizability. CSR 2008: 168-179

Melvin Fitting: Explicit Logics of Knowledge and Conservativity. ISAIM 2008

Melvin Fitting: Correction to FOIL Axiomatized Studia Logica , 84: 1-22, 2006. Studia Logica 85(2): 275 (2007)

Melvin Fitting: Realizations and LP. LFCS 2007: 212-223

Melvin Fitting: A Quantified Logic of Evidence. Electr. Notes Theor. Comput. Sci. 143: 59-71 (2006)

Melvin Fitting: FOIL Axiomatized. Studia Logica 84(1): 1-22 (2006)

Melvin Fitting: The logic of proofs, semantically. Ann. Pure Appl. Logic 132(1): 1-25 (2005)

Melvin Fitting: A Mistake on My Part. We Will Show Them! (1) 2005: 665-670

Melvin Fitting: First-order intensional logic. Ann. Pure Appl. Logic 127(1-3): 171-193 (2004)

Melvin Fitting: Interpolation for First Order S5. J. Symb. Log. 67(2): 621-634 (2002)

Melvin Fitting: Modal Logics Between Propositional and First-order. J. Log. Comput. 12(6): 1017-1026 (2002)

Melvin Fitting: Fixpoint semantics for logic programming a survey. Theor. Comput. Sci. 278(1-2): 25-51 (2002)

Melvin Fitting: Bisimulations and Boolean Vectors. Advances in Modal Logic 2002: 97-126

Melvin Fitting, Lars Thalmann, Andrei Voronkov: Term-Modal Logics. Studia Logica 69(1): 133-169 (2001)

Ruili Ye, Melvin Fitting: Belief, Names, and Modes of Presentation. Advances in Modal Logic 2000: 389-408

Melvin Fitting: Databases and Higher Types. Computational Logic 2000: 41-52

Melvin Fitting: Modality and Databases. TABLEAUX 2000: 19-39

Melvin Fitting, Lars Thalmann, Andrei Voronkov: Term-Modal Logics. TABLEAUX 2000: 220-236

Melvin Fitting: A Simple Propositional S5 Tableau System. Ann. Pure Appl. Logic 96(1-3): 107-115 (1999)

Melvin Fitting: On Quantified Modal Logic. Fundam. Inform. 39(1-2): 105-121 (1999)

Melvin Fitting: Barcan Both Ways. Journal of Applied Non-Classical Logics 9(2-3): 329-344 (1999)

Melvin Fitting: leanTAP Revisited. J. Log. Comput. 8(1): 33-47 (1998)

Melvin Fitting: Bertrand Russell, Herbrand's Theorem, and the Assignment Statement. AISC 1998: 14-28

Melvin Fitting: Higher-Order Modal Logic - A Sketch. FTP (LNCS Selection) 1998: 23-38

Melvin Fitting: First-order logic and automated reasoning (2. ed.). Graduate texts in computer science, Springer 1996, isbn 978-0-387-94593-4, pp. I-XVI, 1-326

Melvin Fitting: A Program to Compute Gödel-Löb Fixpoints. Bulletin of the EATCS 58 (1996)

Melvin Fitting: A Modal Herbrand Theorem. Fundam. Inform. 28(1-2): 101-122 (1996)

Melvin Fitting: Tableaus for many-valued modal logic. Studia Logica 55(1): 63-87 (1995)

Melvin Fitting: Annotated Revision Specification Programs. LPNMR 1995: 143-155

Melvin Fitting: Kleene's Three Valued Logics and Their Children. Fundam. Inform. 20(1/2/3): 113-131 (1994)

Melvin Fitting: Tableaux for Logic Programming. J. Autom. Reasoning 13(2): 175-188 (1994)

Melvin Fitting: Metric Methods Three Examples and a Theorem. J. Log. Program. 21(3): 113-127 (1994)

Melvin Fitting: The Family of Stable Models. J. Log. Program. 17(2/3&4): 197-225 (1993)

Melvin Fitting: Metric Methods in the Semantics of Logic Programs. ILPS 1993: 69-71

Melvin Fitting: Many-Valued Model Logics II. Fundam. Inform. 17(1-2): 55-73 (1992)

Melvin Fitting: Editorial. J. Log. Comput. 2(2): 107-110 (1992)

Melvin Fitting, V. Wiktor Marek, Miroslaw Truszczynski: The Pure Logic of Necessitation. J. Log. Comput. 2(3): 349-373 (1992)

Melvin Fitting: Many-Valued Semantics for Logic Programming. JICSLP 1992: 23-24

Melvin Fitting: Many-Valued Non-Monotonic Modal Logics. LFCS 1992: 139-150

Melvin Fitting: Many-valued modal logics. Fundam. Inform. 15(3-4): 235-254 (1991)

Melvin Fitting: Bilattices and the Semantics of Logic Programming. J. Log. Program. 11(1&2): 91-116 (1991)

Melvin Fitting: Kleene's Logic, Generalized. J. Log. Comput. 1(6): 797-810 (1991)

Melvin Fitting: Modal Logic Should Say More Than It Does. Computational Logic - Essays in Honor of Alan Robinson 1991: 113-135

Melvin Fitting: Well-Founded Semantics, Generalized. ISLP 1991: 71-84

Melvin Fitting: Destructive Modal Resolution. J. Log. Comput. 1(1): 83-97 (1990)

Melvin Fitting: Bilattices in Logic Prograrnming. ISMVL 1990: 238-246

Melvin Fitting: Negation As Refutation. LICS 1989: 63-70

Melvin Fitting: First-Order Modal Tableaux. J. Autom. Reasoning 4(2): 191-213 (1988)

Melvin Fitting, Marion Ben-Jacob: Stratified and Three-valued Logic Programming Semantics. ICLP/SLP 1988: 1054-1069

Melvin Fitting: Enumeration Operators and Modular Logic Programming. J. Log. Program. 4(1): 11-21 (1987)

Melvin Fitting: Resolution for Intuitionistic Logic. ISMIS 1987: 400-407

Melvin Fitting: Partial Models and Logic Programming. Theor. Comput. Sci. 48(3): 229-255 (1986)

Melvin Fitting: A Deterministic Prolog Fixpoint Semantics. J. Log. Program. 2(2): 111-118 (1985)

Melvin Fitting: A Kripke-Kleene Semantics for Logic Programs. J. Log. Program. 2(4): 295-312 (1985)

Melvin Fitting: Linear Reasoning in Modal Logic. J. Symb. Log. 49(4): 1363-1378 (1984)

Melvin Fitting: Model Existence Theorems for Modal and Intuitionistic Logics. J. Symb. Log. 38(4): 613-627 (1973)

Melvin Fitting: An Embedding of Classical Logic in S4. J. Symb. Log. 35(4): 529-534 (1970)