default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMelvin Fitting
Person information
- affiliation: City University of New York, NY, USA
- award (2012): Herbrand Award
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
[j67]Melvin Fitting
:
A Family of Strict/Tolerant Logics. J. Philos. Log. 50(2): 363-394 (2021)- 2020
- [j66]Melvin Fitting:
Bilattice Basics. FLAP 7(6): 973-1016 (2020) - [j65]Melvin Fitting, Felipe de Souza Salvatore:
First-order justification logic with constant domain semantics. J. Log. Comput. 30(1): 193-216 (2020) - [c25]Melvin Fitting:
About 'Binding Modalities'. AiML 2020: 7
2010 – 2019
- 2019
- [j64]Melvin Fitting:
What Are Justification Logics? Fundam. Informaticae 165(3-4): 193-203 (2019) - 2018
- [i2]Melvin Fitting, Felipe de Souza Salvatore:
First-order justification logic with constant domain semantics. CoRR abs/1808.09875 (2018) - 2017
- [j63]Melvin Fitting:
On Modalities and Quantifiers. Fundam. Informaticae 156(3-4): 297-330 (2017) - [j62]Melvin Fitting:
Paraconsistent Logic, Evidence, and Justification. Stud Logica 105(6): 1149-1166 (2017) - 2016
- [j61]Melvin Fitting:
Modal logics, justification logics, and realization. Ann. Pure Appl. Log. 167(8): 615-648 (2016) - [j60]Melvin Fitting:
Realization using the model existence theorem. J. Log. Comput. 26(1): 213-234 (2016) - 2015
- [j59]Melvin Fitting, Roman Kuznets:
Modal interpolation via nested sequents. Ann. Pure Appl. Log. 166(3): 274-305 (2015) - [j58]Melvin Fitting:
Cut-Free Proof Systems for Geach Logics. FLAP 2(2): 17-64 (2015) - [c24]Melvin Fitting:
Quasi-Realization. TbiLLC 2015: 313-332 - 2014
- [j57]Anil Nerode, Melvin Fitting:
Editorial. Ann. Pure Appl. Log. 165(1): 1-2 (2014) - [j56]Anil Nerode, Melvin Fitting:
The life and work of Sergei Artemov. Ann. Pure Appl. Log. 165(1): 3-5 (2014) - [j55]Melvin Fitting:
Possible world semantics for first-order logic of proofs. Ann. Pure Appl. Log. 165(1): 225-240 (2014) - [j54]Berndt Müller, Melvin Fitting:
Preface. Fundam. Informaticae 130(1) (2014) - [j53]Melvin Fitting:
Nested Sequents for Intuitionistic Logics. Notre Dame J. Formal Log. 55(1): 41-61 (2014) - 2012
- [j52]Melvin Fitting:
Prefixed tableaus and nested sequents. Ann. Pure Appl. Log. 163(3): 291-313 (2012) - [j51]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): 1051-1053 (2012) - 2011
- [j50]Melvin Fitting:
Reasoning About Games. Stud Logica 99(1-3): 143-169 (2011) - [i1]Melvin Fitting:
Nested Sequents and Prefixed Tableaus. TABLEAUX (Workshops, Tutorials, and Short Papers) 2011: 69 - 2010
- [j49]Melvin Fitting:
Justification logics and hybrid logics. J. Appl. Log. 8(4): 356-370 (2010)
2000 – 2009
- 2009
- [j48]Melvin Fitting:
Realizations and LP. Ann. Pure Appl. Log. 161(3): 368-387 (2009) - [j47]Melvin Fitting:
How True It Is = Who Says It's True. Stud Logica 91(3): 335-366 (2009) - [p2]Melvin Fitting:
Reasoning with Justifications. Towards Mathematical Philosophy 2009: 107-123 - 2008
- [j46]Melvin Fitting:
Justification logics, logics of knowledge, and conservativity. Ann. Math. Artif. Intell. 53(1-4): 153-167 (2008) - [j45]Melvin Fitting:
A quantified logic of evidence. Ann. Pure Appl. Log. 152(1-3): 67-83 (2008) - [c23]Melvin Fitting:
S4LPand Local Realizability. CSR 2008: 168-179 - [c22]Melvin Fitting:
Explicit Logics of Knowledge and Conservativity. ISAIM 2008 - 2007
- [j44]Melvin Fitting:
Correction to FOIL Axiomatized Studia Logica , 84: 1-22, 2006. Stud Logica 85(2): 275 (2007) - [c21]Melvin Fitting:
Realizations and LP. LFCS 2007: 212-223 - [p1]Melvin Fitting:
Modal proof theory. Handbook of Modal Logic 2007: 85-138 - 2006
- [j43]Melvin Fitting:
FOIL Axiomatized. Stud Logica 84(1): 1-22 (2006) - 2005
- [j42]Melvin Fitting:
The logic of proofs, semantically. Ann. Pure Appl. Log. 132(1): 1-25 (2005) - [c20]Melvin Fitting:
A Mistake on My Part. We Will Show Them! (1) 2005: 665-670 - [c19]Melvin Fitting:
A Quantified Logic of Evidence. WoLLIC 2005: 59-71 - 2004
- [j41]Melvin Fitting:
First-order intensional logic. Ann. Pure Appl. Log. 127(1-3): 171-193 (2004) - 2002
- [j40]Melvin Fitting:
Interpolation for First Order S5. J. Symb. Log. 67(2): 621-634 (2002) - [j39]Melvin Fitting:
Modal Logics Between Propositional and First-order. J. Log. Comput. 12(6): 1017-1026 (2002) - [j38]Melvin Fitting:
Fixpoint semantics for logic programming a survey. Theor. Comput. Sci. 278(1-2): 25-51 (2002) - [c18]Melvin Fitting:
Bisimulations and Boolean Vectors. Advances in Modal Logic 2002: 97-126 - 2001
- [j37]Melvin Fitting, Lars Thalmann, Andrei Voronkov:
Term-Modal Logics. Stud Logica 69(1): 133-169 (2001) - 2000
- [c17]Ruili Ye, Melvin Fitting:
Belief, Names, and Modes of Presentation. Advances in Modal Logic 2000: 389-408 - [c16]Melvin Fitting:
Databases and Higher Types. Computational Logic 2000: 41-52 - [c15]Melvin Fitting:
Modality and Databases. TABLEAUX 2000: 19-39 - [c14]Melvin Fitting, Lars Thalmann, Andrei Voronkov:
Term-Modal Logics. TABLEAUX 2000: 220-236
1990 – 1999
- 1999
- [j36]Melvin Fitting:
A Simple Propositional S5 Tableau System. Ann. Pure Appl. Log. 96(1-3): 107-115 (1999) - [j35]Melvin Fitting:
On Quantified Modal Logic. Fundam. Informaticae 39(1-2): 105-121 (1999) - [j34]Melvin Fitting:
Barcan Both Ways. J. Appl. Non Class. Logics 9(2-3): 329-344 (1999) - 1998
- [j33]Melvin Fitting:
leanTAP Revisited. J. Log. Comput. 8(1): 33-47 (1998) - [c13]Melvin Fitting:
Bertrand Russell, Herbrand's Theorem, and the Assignment Statement. AISC 1998: 14-28 - [c12]Melvin Fitting:
Higher-Order Modal Logic - A Sketch. FTP (LNCS Selection) 1998: 23-38 - 1997
- [j32]Melvin Fitting:
A Theory of Truth that Prefers Falsehood. J. Philos. Log. 26(5): 477-500 (1997) - 1996
- [b2]Melvin Fitting:
First-Order Logic and Automated Theorem Proving, Second Edition. Graduate Texts in Computer Science, Springer 1996, ISBN 978-1-4612-7515-2, pp. I-XVI, 1-326 - [j31]Melvin Fitting:
A Program to Compute Gödel-Löb Fixpoints. Bull. EATCS 58 (1996) - [j30]Melvin Fitting:
A Modal Herbrand Theorem. Fundam. Informaticae 28(1-2): 101-122 (1996) - 1995
- [j29]Melvin Fitting:
Tableaus for many-valued modal logic. Stud Logica 55(1): 63-87 (1995) - [c11]Melvin Fitting:
Annotated Revision Specification Programs. LPNMR 1995: 143-155 - 1994
- [j28]Melvin Fitting:
Kleene's Three Valued Logics and Their Children. Fundam. Informaticae 20(1/2/3): 113-131 (1994) - [j27]Melvin Fitting:
Tableaux for Logic Programming. J. Autom. Reason. 13(2): 175-188 (1994) - [j26]Melvin Fitting:
Metric Methods Three Examples and a Theorem. J. Log. Program. 21(3): 113-127 (1994) - 1993
- [j25]Melvin Fitting:
The Family of Stable Models. J. Log. Program. 17(2/3&4): 197-225 (1993) - [c10]Melvin Fitting:
Metric Methods in the Semantics of Logic Programs. ILPS 1993: 69-71 - 1992
- [j24]Melvin Fitting:
Many-Valued Model Logics II. Fundam. Informaticae 17(1-2): 55-73 (1992) - [j23]Melvin Fitting:
Editorial. J. Log. Comput. 2(2): 107-110 (1992) - [j22]Melvin Fitting, V. Wiktor Marek, Miroslaw Truszczynski:
The Pure Logic of Necessitation. J. Log. Comput. 2(3): 349-373 (1992) - [c9]Melvin Fitting:
Many-Valued Semantics for Logic Programming. JICSLP 1992: 23-24 - [c8]Melvin Fitting:
Many-Valued Non-Monotonic Modal Logics. LFCS 1992: 139-150 - 1991
- [j21]Melvin Fitting:
Many-valued modal logics. Fundam. Informaticae 15(3-4): 235-254 (1991) - [j20]Melvin Fitting:
Bilattices and the Semantics of Logic Programming. J. Log. Program. 11(1&2): 91-116 (1991) - [j19]Melvin Fitting:
Kleene's Logic, Generalized. J. Log. Comput. 1(6): 797-810 (1991) - [c7]Melvin Fitting:
Modal Logic Should Say More Than It Does. Computational Logic - Essays in Honor of Alan Robinson 1991: 113-135 - [c6]Melvin Fitting:
Well-Founded Semantics, Generalized. ISLP 1991: 71-84 - 1990
- [b1]Melvin Fitting:
First-Order Logic and Automated Theorem Proving. Texts and Monographs in Computer Science, Springer 1990, ISBN 978-1-4684-0359-6, pp. 1-232 - [j18]Melvin Fitting:
Destructive Modal Resolution. J. Log. Comput. 1(1): 83-97 (1990) - [c5]Melvin Fitting:
Bilattices in Logic Prograrnming. ISMVL 1990: 238-246
1980 – 1989
- 1989
- [j17]Melvin Fitting:
Bilattices and the theory of truth. J. Philos. Log. 18(3): 225-256 (1989) - [c4]Melvin Fitting:
Negation As Refutation. LICS 1989: 63-70 - 1988
- [j16]Melvin Fitting:
First-Order Modal Tableaux. J. Autom. Reason. 4(2): 191-213 (1988) - [j15]Melvin Fitting:
Pseudo-Boolean valued prolog. Stud Logica 47(2): 85-91 (1988) - [c3]Melvin Fitting, Marion Ben-Jacob:
Stratified and Three-valued Logic Programming Semantics. ICLP/SLP 1988: 1054-1069 - 1987
- [j14]Melvin Fitting:
Enumeration Operators and Modular Logic Programming. J. Log. Program. 4(1): 11-21 (1987) - [c2]Melvin Fitting:
Resolution for Intuitionistic Logic. ISMIS 1987: 400-407 - 1986
- [j13]Melvin Fitting:
Notes on the mathematical aspects of Kripke's theory of truth. Notre Dame J. Formal Log. 27(1): 75-88 (1986) - [j12]Melvin Fitting:
Partial Models and Logic Programming. Theor. Comput. Sci. 48(3): 229-255 (1986) - [c1]Melvin Fitting:
Logic programming semantics using a compact data structure. ISMIS 1986: 247-255 - 1985
- [j11]Melvin Fitting:
A Deterministic Prolog Fixpoint Semantics. J. Log. Program. 2(2): 111-118 (1985) - [j10]Melvin Fitting:
A Kripke-Kleene Semantics for Logic Programs. J. Log. Program. 2(4): 295-312 (1985) - 1984
- [j9]Melvin Fitting:
Linear Reasoning in Modal Logic. J. Symb. Log. 49(4): 1363-1378 (1984)
1970 – 1979
- 1978
- [j8]Melvin Fitting:
Elementary Formal Systems for Hyperarithmetical Relations. Math. Log. Q. 24(1-6): 25-30 (1978) - 1977
- [j7]Melvin Fitting:
A tableau system for propositional S5. Notre Dame J. Formal Log. 18(2): 292-294 (1977) - 1975
- [j6]Melvin Fitting:
A modal logic ε-calculus. Notre Dame J. Formal Log. 16(1): 1-16 (1975) - 1973
- [j5]Melvin Fitting:
Model Existence Theorems for Modal and Intuitionistic Logics. J. Symb. Log. 38(4): 613-627 (1973) - 1972
- [j4]Melvin Fitting:
Tableau methods of proof for modal logics. Notre Dame J. Formal Log. 13(2): 237-247 (1972) - [j3]Melvin Fitting:
ε-calculus based axiom systems for some propositional modal logics. Notre Dame J. Formal Log. 13(3): 381-384 (1972) - 1971
- [j2]Melvin Fitting:
A tableau proof method admitting the empty domain. Notre Dame J. Formal Log. 12(2): 219-224 (1971) - 1970
- [j1]Melvin Fitting:
An Embedding of Classical Logic in S4. J. Symb. Log. 35(4): 529-534 (1970)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-17 20:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
