dblp.uni-trier.dewww.uni-trier.de

Melvin Fitting Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
57EEMelvin Fitting: S4LPand Local Realizability. CSR 2008: 168-179
56EEMelvin Fitting: Justification logics, logics of knowledge, and conservativity. Ann. Math. Artif. Intell. 53(1-4): 153-167 (2008)
55EEMelvin Fitting: A quantified logic of evidence. Ann. Pure Appl. Logic 152(1-3): 67-83 (2008)
2007
54EEMelvin Fitting: Realizations and LP. LFCS 2007: 212-223
53EEMelvin Fitting: Correction to FOIL Axiomatized Studia Logica , 84: 1-22, 2006. Studia Logica 85(2): 275 (2007)
2006
52EEMelvin Fitting: A Quantified Logic of Evidence. Electr. Notes Theor. Comput. Sci. 143: 59-71 (2006)
51EEMelvin 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
49EEMelvin Fitting: The logic of proofs, semantically. Ann. Pure Appl. Logic 132(1): 1-25 (2005)
2004
48EEMelvin 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
46EEMelvin 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)
44EEMelvin 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
41EEMelvin 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
35EEMelvin Fitting: Bertrand Russell, Herbrand's Theorem, and the Assignment Statement. AISC 1998: 14-28
34EEMelvin 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)

Coauthor Index

1Marion Ben-Jacob [10]
2Victor W. Marek (V. Wiktor Marek) [19]
3Lars Thalmann [39] [43]
4Miroslaw Truszczynski [19]
5Andrei Voronkov [39] [43]
6Ruili Ye [42]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)