- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 64 |      | Melvin Fitting: Prefixed tableaus and nested sequents. Ann. Pure Appl. Logic 163(3): 291-313 (2012) |
| 2011 | ||
| 63 | | Melvin Fitting: Reasoning About Games. Studia Logica 99(1-3): 143-169 (2011) |
| 2010 | ||
| 62 | | Melvin Fitting: Justification logics and hybrid logics. J. Applied Logic 8(4): 356-370 (2010) |
| 2009 | ||
| 61 | | Melvin Fitting: Realizations and LP. Ann. Pure Appl. Logic 161(3): 368-387 (2009) |
| 60 | | Melvin Fitting: How True It Is = Who Says It's True. Studia Logica 91(3): 335-366 (2009) |
| 2008 | ||
| 59 | | Melvin Fitting: S4LPand Local Realizability. CSR 2008: 168-179 |
| 58 | | Melvin Fitting: Explicit Logics of Knowledge and Conservativity. ISAIM 2008 |
| 57 | | Melvin Fitting: Justification logics, logics of knowledge, and conservativity. Ann. Math. Artif. Intell. 53(1-4): 153-167 (2008) |
| 56 | | Melvin Fitting: A quantified logic of evidence. Ann. Pure Appl. Logic 152(1-3): 67-83 (2008) |
| 2007 | ||
| 55 | | Melvin Fitting: Realizations and LP. LFCS 2007: 212-223 |
| 54 | | Melvin Fitting: Correction to FOIL Axiomatized Studia Logica , 84: 1-22, 2006. Studia Logica 85(2): 275 (2007) |
| 2006 | ||
| 53 | | Melvin Fitting: A Quantified Logic of Evidence. Electr. Notes Theor. Comput. Sci. 143: 59-71 (2006) |
| 52 | | Melvin Fitting: FOIL Axiomatized. Studia Logica 84(1): 1-22 (2006) |
| 2005 | ||
| 51 |  | Melvin Fitting: A Mistake on My Part. We Will Show Them! (1) 2005: 665-670 |
| 50 | | Melvin Fitting: The logic of proofs, semantically. Ann. Pure Appl. Logic 132(1): 1-25 (2005) |
| 2004 | ||
| 49 | | Melvin Fitting: First-order intensional logic. Ann. Pure Appl. Logic 127(1-3): 171-193 (2004) |
| 2002 | ||
| 48 | | Melvin Fitting: Bisimulations and Boolean Vectors. Advances in Modal Logic 2002: 97-126 |
| 47 | | Melvin Fitting: Modal Logics Between Propositional and First-order. J. Log. Comput. 12(6): 1017-1026 (2002) |
| 46 | | Melvin Fitting: Interpolation for First Order S5. J. Symb. Log. 67(2): 621-634 (2002) |
| 45 | | Melvin Fitting: Fixpoint semantics for logic programming a survey. Theor. Comput. Sci. 278(1-2): 25-51 (2002) |
| 2001 | ||
| 44 | | Melvin Fitting, Lars Thalmann, Andrei Voronkov: Term-Modal Logics. Studia Logica 69(1): 133-169 (2001) |
| 2000 | ||
| 43 | | Ruili Ye, Melvin Fitting: Belief, Names, and Modes of Presentation. Advances in Modal Logic 2000: 389-408 |
| 42 | | Melvin Fitting: Databases and Higher Types. Computational Logic 2000: 41-52 |
| 41 | | Melvin Fitting: Modality and Databases. TABLEAUX 2000: 19-39 |
| 40 | | Melvin Fitting, Lars Thalmann, Andrei Voronkov: Term-Modal Logics. TABLEAUX 2000: 220-236 |
| 1999 | ||
| 39 | | Melvin Fitting: A Simple Propositional S5 Tableau System. Ann. Pure Appl. Logic 96(1-3): 107-115 (1999) |
| 38 | | Melvin Fitting: On Quantified Modal Logic. Fundam. Inform. 39(1-2): 105-121 (1999) |
| 37 | | Melvin Fitting: Barcan Both Ways. Journal of Applied Non-Classical Logics 9(2-3): (1999) |
| 1998 | ||
| 36 | | Melvin Fitting: Bertrand Russell, Herbrand's Theorem, and the Assignment Statement. AISC 1998: 14-28 |
| 35 | | Melvin Fitting: Higher-Order Modal Logic - A Sketch. FTP (LNCS Selection) 1998: 23-38 |
| 34 | | Melvin Fitting: leanTAP Revisited. J. Log. Comput. 8(1): 33-47 (1998) |
| 1996 | ||
| 33 | | Melvin Fitting: First-order logic and automated reasoning (2. ed.). Springer 1996: I-XVI, 1-326 |
| 32 | | Melvin Fitting: A Program to Compute Gödel-Löb Fixpoints. Bulletin of the EATCS 58: (1996) |
| 31 | | Melvin Fitting: A Modal Herbrand Theorem. Fundam. Inform. 28(1-2): 101-122 (1996) |
| 1995 | ||
| 30 | | Melvin Fitting: Annotated Revision Specification Programs. LPNMR 1995: 143-155 |
| 29 | | Melvin Fitting: Tableaus for many-valued modal logic. Studia Logica 55(1): 63-87 (1995) |
| 1994 | ||
| 28 | | Melvin Fitting: Kleene's Three Valued Logics and Their Children. Fundam. Inform. 20(1/2/3): 113-131 (1994) |
| 27 | | Melvin Fitting: Tableaux for Logic Programming. J. Autom. Reasoning 13(2): 175-188 (1994) |
| 26 | | Melvin Fitting: Metric Methods Three Examples and a Theorem. J. Log. Program. 21(3): 113-127 (1994) |
| 1993 | ||
| 25 | | Melvin Fitting: Metric Methods in the Semantics of Logic Programs. ILPS 1993: 69-71 |
| 24 | | Melvin Fitting: The Family of Stable Models. J. Log. Program. 17(2/3&4): 197-225 (1993) |
| 1992 | ||
| 23 | | Melvin Fitting: Many-Valued Semantics for Logic Programming. JICSLP 1992: 23-24 |
| 22 | | Melvin Fitting: Many-Valued Non-Monotonic Modal Logics. LFCS 1992: 139-150 |
| 21 | | Melvin Fitting: Many-Valued Model Logics II. Fundam. Inform. 17(1-2): 55-73 (1992) |
| 20 | | Melvin Fitting: Editorial. J. Log. Comput. 2(2): 107-110 (1992) |
| 19 | | Melvin Fitting, V. Wiktor Marek, Miroslaw Truszczynski: The Pure Logic of Necessitation. J. Log. Comput. 2(3): 349-373 (1992) |
| 1991 | ||
| 18 | | Melvin Fitting: Modal Logic Should Say More Than It Does. Computational Logic - Essays in Honor of Alan Robinson 1991: 113-135 |
| 17 | | Melvin Fitting: Well-Founded Semantics, Generalized. ISLP 1991: 71-84 |
| 16 | | Melvin Fitting: Many-valued modal logics. Fundam. Inform. 15(3-4): 235-254 (1991) |
| 15 | | Melvin Fitting: Kleene's Logic, Generalized. J. Log. Comput. 1(6): 797-810 (1991) |
| 14 | | Melvin Fitting: Bilattices and the Semantics of Logic Programming. J. Log. Program. 11(1&2): 91-116 (1991) |
| 1990 | ||
| 13 | | Melvin Fitting: Bilattices in Logic Prograrnming. ISMVL 1990: 238-246 |
| 12 | | Melvin Fitting: Destructive Modal Resolution. J. Log. Comput. 1(1): 83-97 (1990) |
| 1989 | ||
| 11 | | Melvin Fitting: Negation As Refutation LICS 1989: 63-70 |
| 1988 | ||
| 10 | | Melvin Fitting, Marion Ben-Jacob: Stratified and Three-valued Logic Programming Semantics. ICLP/SLP 1988: 1054-1069 |
| 9 | | Melvin Fitting: First-Order Modal Tableaux. J. Autom. Reasoning 4(2): 191-213 (1988) |
| 1987 | ||
| 8 | | Melvin Fitting: Resolution for Intuitionistic Logic. ISMIS 1987: 400-407 |
| 7 | | Melvin Fitting: Enumeration Operators and Modular Logic Programming. J. Log. Program. 4(1): 11-21 (1987) |
| 1986 | ||
| 6 | | Melvin Fitting: Partial Models and Logic Programming. Theor. Comput. Sci. 48(3): 229-255 (1986) |
| 1985 | ||
| 5 | | Melvin Fitting: A Deterministic Prolog Fixpoint Semantics. J. Log. Program. 2(2): 111-118 (1985) |
| 4 | | Melvin Fitting: A Kripke-Kleene Semantics for Logic Programs. J. Log. Program. 2(4): 295-312 (1985) |
| 1984 | ||
| 3 | | Melvin Fitting: Linear Reasoning in Modal Logic. J. Symb. Log. 49(4): 1363-1378 (1984) |
| 1973 | ||
| 2 | | Melvin Fitting: Model Existence Theorems for Modal and Intuitionistic Logics. J. Symb. Log. 38(4): 613-627 (1973) |
| 1970 | ||
| 1 | | Melvin Fitting: An Embedding of Classical Logic in S4. J. Symb. Log. 35(4): 529-534 (1970) |
| 1 | Marion Ben-Jacob | [10] |
| 2 | Victor W. Marek (V. Wiktor Marek) | [19] |
| 3 | Lars Thalmann | [40] [44] |
| 4 | Miroslaw Truszczynski | [19] |
| 5 | Andrei Voronkov | [40] [44] |
| 6 | Ruili Ye | [43] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page