Melvin Fitting Home Page Coauthor index pubzone.org

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

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

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page