| 2008 |
|---|
| 56 | EE | Melvin Fitting:
S4LPand Local Realizability.
CSR 2008: 168-179 |
| 55 | EE | Melvin Fitting:
A quantified logic of evidence.
Ann. Pure Appl. Logic 152(1-3): 67-83 (2008) |
| 2007 |
|---|
| 54 | EE | Melvin Fitting:
Realizations and LP.
LFCS 2007: 212-223 |
| 53 | EE | Melvin Fitting:
Correction to FOIL Axiomatized Studia Logica , 84: 1-22, 2006.
Studia Logica 85(2): 275 (2007) |
| 2006 |
|---|
| 52 | EE | Melvin Fitting:
A Quantified Logic of Evidence.
Electr. Notes Theor. Comput. Sci. 143: 59-71 (2006) |
| 51 | EE | Melvin Fitting:
FOIL Axiomatized.
Studia Logica 84(1): 1-22 (2006) |
| 2005 |
|---|
| 50 | | Melvin Fitting:
A Mistake on My Part.
We Will Show Them! (1) 2005: 665-670 |
| 49 | EE | Melvin Fitting:
The logic of proofs, semantically.
Ann. Pure Appl. Logic 132(1): 1-25 (2005) |
| 2004 |
|---|
| 48 | EE | Melvin Fitting:
First-order intensional logic.
Ann. Pure Appl. Logic 127(1-3): 171-193 (2004) |
| 2002 |
|---|
| 47 | | Melvin Fitting:
Bisimulations and Boolean Vectors.
Advances in Modal Logic 2002: 97-126 |
| 46 | EE | Melvin Fitting:
Modal Logics Between Propositional and First-order.
J. Log. Comput. 12(6): 1017-1026 (2002) |
| 45 | | Melvin Fitting:
Interpolation for First Order S5.
J. Symb. Log. 67(2): 621-634 (2002) |
| 44 | EE | Melvin Fitting:
Fixpoint semantics for logic programming a survey.
Theor. Comput. Sci. 278(1-2): 25-51 (2002) |
| 2001 |
|---|
| 43 | | Melvin Fitting,
Lars Thalmann,
Andrei Voronkov:
Term-Modal Logics.
Studia Logica 69(1): 133-169 (2001) |
| 2000 |
|---|
| 42 | | Ruili Ye,
Melvin Fitting:
Belief, Names, and Modes of Presentation.
Advances in Modal Logic 2000: 389-408 |
| 41 | EE | Melvin Fitting:
Databases and Higher Types.
Computational Logic 2000: 41-52 |
| 40 | | Melvin Fitting:
Modality and Databases.
TABLEAUX 2000: 19-39 |
| 39 | | Melvin Fitting,
Lars Thalmann,
Andrei Voronkov:
Term-Modal Logics.
TABLEAUX 2000: 220-236 |
| 1999 |
|---|
| 38 | | Melvin Fitting:
A Simple Propositional S5 Tableau System.
Ann. Pure Appl. Logic 96(1-3): 107-115 (1999) |
| 37 | | Melvin Fitting:
On Quantified Modal Logic.
Fundam. Inform. 39(1-2): 105-121 (1999) |
| 36 | | Melvin Fitting:
Barcan Both Ways.
Journal of Applied Non-Classical Logics 9(2-3): (1999) |
| 1998 |
|---|
| 35 | EE | Melvin Fitting:
Bertrand Russell, Herbrand's Theorem, and the Assignment Statement.
AISC 1998: 14-28 |
| 34 | EE | Melvin Fitting:
Higher-Order Modal Logic - A Sketch.
FTP (LNCS Selection) 1998: 23-38 |
| 33 | | Melvin Fitting:
leanTAP Revisited.
J. Log. Comput. 8(1): 33-47 (1998) |
| 1996 |
|---|
| 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) |
