| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Melvin Fitting |
Prefixed tableaus and nested sequents.  |
Ann. Pure Appl. Logic  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
Reasoning About Games. |
Studia Logica |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
Justification logics and hybrid logics. |
J. Applied Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
How True It Is = Who Says It's True. |
Studia Logica |
2009 |
DBLP DOI BibTeX RDF |
modal logic, bisimulation, many-valued logic, boolean algebra, tableau, logic of knowledge |
| 1 | Melvin Fitting |
Realizations and LP. |
Ann. Pure Appl. Logic |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
A quantified logic of evidence. |
Ann. Pure Appl. Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
Justification logics, logics of knowledge, and conservativity. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03B42, 03B45, 03B60, 03B70 |
| 1 | Melvin Fitting |
S4LPand Local Realizability. |
CSR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
Explicit Logics of Knowledge and Conservativity. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Melvin Fitting |
Correction to FOIL Axiomatized Studia Logica , 84: 1-22, 2006. |
Studia Logica |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
Realizations and LP. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
FOIL Axiomatized. |
Studia Logica |
2006 |
DBLP DOI BibTeX RDF |
modal logic, predicate abstraction, axiomatization, tableaux, intensional logic |
| 1 | Melvin Fitting |
A Quantified Logic of Evidence. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
The logic of proofs, semantically. |
Ann. Pure Appl. Logic |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
A Mistake on My Part. |
We Will Show Them! |
2005 |
DBLP BibTeX RDF |
|
| 1 | Melvin Fitting |
First-order intensional logic. |
Ann. Pure Appl. Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
Fixpoint semantics for logic programming a survey. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
Interpolation for First Order S5. |
J. Symb. Log. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Melvin Fitting |
Modal Logics Between Propositional and First-order. |
J. Log. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
Bisimulations and Boolean Vectors. |
Advances in Modal Logic |
2002 |
DBLP BibTeX RDF |
|
| 1 | Melvin Fitting, Lars Thalmann, Andrei Voronkov |
Term-Modal Logics. |
Studia Logica |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruili Ye, Melvin Fitting |
Belief, Names, and Modes of Presentation. |
Advances in Modal Logic |
2000 |
DBLP BibTeX RDF |
|
| 1 | Melvin Fitting |
Modality and Databases. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting, Lars Thalmann, Andrei Voronkov |
Term-Modal Logics. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
Databases and Higher Types. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
Barcan Both Ways. |
Journal of Applied Non-Classical Logics |
1999 |
DBLP BibTeX RDF |
|
| 1 | Melvin Fitting |
A Simple Propositional S5 Tableau System. |
Ann. Pure Appl. Logic |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
On Quantified Modal Logic. |
Fundam. Inform. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
leanTAP Revisited. |
J. Log. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
Higher-Order Modal Logic - A Sketch. |
FTP (LNCS Selection) |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
Bertrand Russell, Herbrand's Theorem, and the Assignment Statement. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
A Modal Herbrand Theorem. |
Fundam. Inform. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
A Program to Compute Gödel-Löb Fixpoints. |
Bulletin of the EATCS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Melvin Fitting |
First-order logic and automated reasoning (2. ed.). |
|
1996 |
RDF |
|
| 1 | Melvin Fitting |
Tableaus for many-valued modal logic. |
Studia Logica |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
Annotated Revision Specification Programs. |
LPNMR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
Metric Methods Three Examples and a Theorem. |
J. Log. Program. |
1994 |
DBLP BibTeX RDF |
|
| 1 | Melvin Fitting |
Kleene's Three Valued Logics and Their Children. |
Fundam. Inform. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
Tableaux for Logic Programming. |
J. Autom. Reasoning |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
The Family of Stable Models. |
J. Log. Program. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
Metric Methods in the Semantics of Logic Programs. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Melvin Fitting, V. Wiktor Marek, Miroslaw Truszczynski |
The Pure Logic of Necessitation. |
J. Log. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
Editorial. |
J. Log. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
Many-Valued Model Logics II. |
Fundam. Inform. |
1992 |
DBLP BibTeX RDF |
|
| 1 | Melvin Fitting |
Many-Valued Non-Monotonic Modal Logics. |
LFCS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
Many-Valued Semantics for Logic Programming. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
| 1 | Melvin Fitting |
Bilattices and the Semantics of Logic Programming. |
J. Log. Program. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
Kleene's Logic, Generalized. |
J. Log. Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
Many-valued modal logics. |
Fundam. Inform. |
1991 |
DBLP BibTeX RDF |
|
| 1 | Melvin Fitting |
Well-Founded Semantics, Generalized. |
ISLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Melvin Fitting |
Modal Logic Should Say More Than It Does. |
Computational Logic - Essays in Honor of Alan Robinson |
1991 |
DBLP BibTeX RDF |
|
| 1 | Melvin Fitting |
Destructive Modal Resolution. |
J. Log. Comput. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
Bilattices in Logic Prograrnming. |
ISMVL |
1990 |
DBLP BibTeX RDF |
|
| 1 | Melvin Fitting |
Negation As Refutation |
LICS |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
First-Order Modal Tableaux. |
J. Autom. Reasoning |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting, Marion Ben-Jacob |
Stratified and Three-valued Logic Programming Semantics. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
| 1 | Melvin Fitting |
Enumeration Operators and Modular Logic Programming. |
J. Log. Program. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
Resolution for Intuitionistic Logic. |
ISMIS |
1987 |
DBLP BibTeX RDF |
|
| 1 | Melvin Fitting |
Partial Models and Logic Programming. |
Theor. Comput. Sci. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
A Kripke-Kleene Semantics for Logic Programs. |
J. Log. Program. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
A Deterministic Prolog Fixpoint Semantics. |
J. Log. Program. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Melvin Fitting |
Linear Reasoning in Modal Logic. |
J. Symb. Log. |
1984 |
DBLP BibTeX RDF |
|
| 1 | Melvin Fitting |
Model Existence Theorems for Modal and Intuitionistic Logics. |
J. Symb. Log. |
1973 |
DBLP BibTeX RDF |
|
| 1 | Melvin Fitting |
An Embedding of Classical Logic in S4. |
J. Symb. Log. |
1970 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")