Melvin Fitting

Publication Activity (10 Years)

Years Active: 1970-2021
Publications (10 Years): 10

Top Topics

Top Venues

Ann. Pure Appl. Log.

Fundam. Informaticae

J. Log. Comput.

Publications

Melvin Fitting
A Family of Strict/Tolerant Logics. J. Philos. Log. 50 (2) (2021)
Melvin Fitting, Felipe Salvatore
First-order justification logic with constant domain semantics. J. Log. Comput. 30 (1) (2020)
Melvin Fitting
About 'Binding Modalities'. AiML (2020)
Melvin Fitting
Bilattice Basics. FLAP 7 (6) (2020)
Melvin Fitting
What Are Justification Logics? Fundam. Informaticae 165 (3-4) (2019)
Melvin Fitting, Felipe Salvatore
First-order justification logic with constant domain semantics. CoRR (2018)
Melvin Fitting
Paraconsistent Logic, Evidence, and Justification. Stud Logica 105 (6) (2017)
Melvin Fitting
On Modalities and Quantifiers. Fundam. Informaticae 156 (3-4) (2017)
Melvin Fitting
Realization using the model existence theorem. J. Log. Comput. 26 (1) (2016)
Melvin Fitting
Modal logics, justification logics, and realization. Ann. Pure Appl. Log. 167 (8) (2016)
Melvin Fitting
Cut-Free Proof Systems for Geach Logics. FLAP 2 (2) (2015)
Melvin Fitting, Roman Kuznets
Modal interpolation via nested sequents. Ann. Pure Appl. Log. 166 (3) (2015)
Melvin Fitting
Quasi-Realization. TbiLLC (2015)
Melvin Fitting
Nested Sequents for Intuitionistic Logics. Notre Dame J. Formal Log. 55 (1) (2014)
Anil Nerode, Melvin Fitting
Editorial. Ann. Pure Appl. Log. 165 (1) (2014)
Melvin Fitting
Possible world semantics for first-order logic of proofs. Ann. Pure Appl. Log. 165 (1) (2014)
Berndt Müller, Melvin Fitting
Preface. Fundam. Informaticae 130 (1) (2014)
Anil Nerode, Melvin Fitting
The life and work of Sergei Artemov. Ann. Pure Appl. Log. 165 (1) (2014)
Melvin Fitting
Torben Braüner, Hybrid Logic and its Proof-Theory, Applied Logic Series Volume 37, Springer, 2011, pp. XIII+231. ISBN: 978-94-007-0001-7 (hardcover) EURO 99, 95, ISBN: 978-94-007-0002-4 (eBook) EURO 99, 99. Stud Logica 100 (5) (2012)
Melvin Fitting
Prefixed tableaus and nested sequents. Ann. Pure Appl. Log. 163 (3) (2012)
Melvin Fitting
Nested Sequents and Prefixed Tableaus. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Melvin Fitting
Reasoning About Games. Stud Logica 99 (1-3) (2011)
Melvin Fitting
Justification logics and hybrid logics. J. Appl. Log. 8 (4) (2010)
Melvin Fitting
Realizations and LP. Ann. Pure Appl. Log. 161 (3) (2009)
Melvin Fitting
How True It Is = Who Says It's True. Stud Logica 91 (3) (2009)
Melvin Fitting
Explicit Logics of Knowledge and Conservativity. ISAIM (2008)
Melvin Fitting
A quantified logic of evidence. Ann. Pure Appl. Log. 152 (1-3) (2008)
Melvin Fitting
S4LPand Local Realizability. CSR (2008)
Melvin Fitting
Justification logics, logics of knowledge, and conservativity. Ann. Math. Artif. Intell. 53 (1-4) (2008)
Melvin Fitting
Realizations and LP. LFCS (2007)
Melvin Fitting
, 84: 1-22, 2006. Stud Logica 85 (2) (2007)
Melvin Fitting
A Quantified Logic of Evidence. Electron. Notes Theor. Comput. Sci. 143 (2006)
Melvin Fitting
FOIL Axiomatized. Stud Logica 84 (1) (2006)
Melvin Fitting
The logic of proofs, semantically. Ann. Pure Appl. Log. 132 (1) (2005)
Melvin Fitting
A Mistake on My Part. We Will Show Them! (1) (2005)
Melvin Fitting
First-order intensional logic. Ann. Pure Appl. Log. 127 (1-3) (2004)
Melvin Fitting
Interpolation for First Order S5. J. Symb. Log. 67 (2) (2002)
Melvin Fitting
Modal Logics Between Propositional and First-order. J. Log. Comput. 12 (6) (2002)
Melvin Fitting
Fixpoint semantics for logic programming a survey. Theor. Comput. Sci. 278 (1-2) (2002)
Melvin Fitting
Bisimulations and Boolean Vectors. Advances in Modal Logic (2002)
Melvin Fitting, Lars Thalmann, Andrei Voronkov
Term-Modal Logics. Stud Logica 69 (1) (2001)
Melvin Fitting, Lars Thalmann, Andrei Voronkov
Term-Modal Logics. TABLEAUX (2000)
Melvin Fitting
Databases and Higher Types. Computational Logic (2000)
Ruili Ye, Melvin Fitting
Belief, Names, and Modes of Presentation. Advances in Modal Logic (2000)
Melvin Fitting
Modality and Databases. TABLEAUX (2000)
Melvin Fitting
A Simple Propositional S5 Tableau System. Ann. Pure Appl. Log. 96 (1-3) (1999)
Melvin Fitting
On Quantified Modal Logic. Fundam. Informaticae 39 (1-2) (1999)
Melvin Fitting
Barcan Both Ways. J. Appl. Non Class. Logics 9 (2-3) (1999)
Melvin Fitting
leanTAP Revisited. J. Log. Comput. 8 (1) (1998)
Melvin Fitting
Higher-Order Modal Logic - A Sketch. FTP (LNCS Selection) (1998)
Melvin Fitting
Bertrand Russell, Herbrand's Theorem, and the Assignment Statement. AISC (1998)
Melvin Fitting
A Theory of Truth that Prefers Falsehood. J. Philos. Log. 26 (5) (1997)
Melvin Fitting
A Program to Compute Gödel-Löb Fixpoints. Bull. EATCS 58 (1996)
Melvin Fitting
A Modal Herbrand Theorem. Fundam. Informaticae 28 (1-2) (1996)
Melvin Fitting
Annotated Revision Specification Programs. LPNMR (1995)
Melvin Fitting
Tableaus for many-valued modal logic. Stud Logica 55 (1) (1995)
Melvin Fitting
Metric Methods Three Examples and a Theorem. J. Log. Program. 21 (3) (1994)
Melvin Fitting
Kleene's Three Valued Logics and Their Children. Fundam. Informaticae 20 (1/2/3) (1994)
Melvin Fitting
Tableaux for Logic Programming. J. Autom. Reason. 13 (2) (1994)
Melvin Fitting
The Family of Stable Models. J. Log. Program. 17 (2/3&4) (1993)
Melvin Fitting
Metric Methods in the Semantics of Logic Programs. ILPS (1993)
Melvin Fitting
Editorial. J. Log. Comput. 2 (2) (1992)
Melvin Fitting
Many-Valued Semantics for Logic Programming. JICSLP (1992)
Melvin Fitting, V. Wiktor Marek, Miroslaw Truszczynski
The Pure Logic of Necessitation. J. Log. Comput. 2 (3) (1992)
Melvin Fitting
Many-Valued Model Logics II. Fundam. Informaticae 17 (1-2) (1992)
Melvin Fitting
Many-Valued Non-Monotonic Modal Logics. LFCS (1992)
Melvin Fitting
Well-Founded Semantics, Generalized. ISLP (1991)
Melvin Fitting
Modal Logic Should Say More Than It Does. Computational Logic - Essays in Honor of Alan Robinson (1991)
Melvin Fitting
Kleene's Logic, Generalized. J. Log. Comput. 1 (6) (1991)
Melvin Fitting
Many-valued modal logics. Fundam. Informaticae 15 (3-4) (1991)
Melvin Fitting
Bilattices and the Semantics of Logic Programming. J. Log. Program. 11 (1&2) (1991)
Melvin Fitting
Destructive Modal Resolution. J. Log. Comput. 1 (1) (1990)
Melvin Fitting
Bilattices in Logic Prograrnming. ISMVL (1990)
Melvin Fitting
Bilattices and the theory of truth. J. Philos. Log. 18 (3) (1989)
Melvin Fitting
Negation As Refutation LICS (1989)
Melvin Fitting
First-Order Modal Tableaux. J. Autom. Reason. 4 (2) (1988)
Melvin Fitting
Pseudo-Boolean valued prolog. Stud Logica 47 (2) (1988)
Melvin Fitting, Marion Ben-Jacob
Stratified and Three-valued Logic Programming Semantics. ICLP/SLP (1988)
Melvin Fitting
Enumeration Operators and Modular Logic Programming. J. Log. Program. 4 (1) (1987)
Melvin Fitting
Resolution for Intuitionistic Logic. ISMIS (1987)
Melvin Fitting
Logic programming semantics using a compact data structure. ISMIS (1986)
Melvin Fitting
Notes on the mathematical aspects of Kripke's theory of truth. Notre Dame J. Formal Log. 27 (1) (1986)
Melvin Fitting
Partial Models and Logic Programming. Theor. Comput. Sci. 48 (3) (1986)
Melvin Fitting
A Kripke-Kleene Semantics for Logic Programs. J. Log. Program. 2 (4) (1985)
Melvin Fitting
A Deterministic Prolog Fixpoint Semantics. J. Log. Program. 2 (2) (1985)
Melvin Fitting
Linear Reasoning in Modal Logic. J. Symb. Log. 49 (4) (1984)
Melvin Fitting
Elementary Formal Systems for Hyperarithmetical Relations. Math. Log. Q. 24 (1-6) (1978)
Melvin Fitting
A tableau system for propositional S5. Notre Dame J. Formal Log. 18 (2) (1977)
Melvin Fitting
A modal logic ε-calculus. Notre Dame J. Formal Log. 16 (1) (1975)
Melvin Fitting
Model Existence Theorems for Modal and Intuitionistic Logics. J. Symb. Log. 38 (4) (1973)
Melvin Fitting
ε-calculus based axiom systems for some propositional modal logics. Notre Dame J. Formal Log. 13 (3) (1972)
Melvin Fitting
Tableau methods of proof for modal logics. Notre Dame J. Formal Log. 13 (2) (1972)
Melvin Fitting
A tableau proof method admitting the empty domain. Notre Dame J. Formal Log. 12 (2) (1971)
Melvin Fitting
An Embedding of Classical Logic in S4. J. Symb. Log. 35 (4) (1970)