Melvin Fitting

101 papers A* 1B 6C 3Misc 5Journal 71Unranked 11

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	SAUL KRIPKE (1940-2022). Bull. Symb. Log. Sergei Artemov, John P. Burgess, Melvin Fitting, Anandi Hattiangadi
2021	J	`jnl`	A Family of Strict/Tolerant Logics. J. Philos. Log. Melvin Fitting
2021	J	`jnl`	Strict/Tolerant Family Continued: Quantifiers and Modalities. Australas. J. Log. Melvin Fitting
2021	J	`jnl`	Strict/Tolerant Logics Built Using Generalized Weak Kleene Logics. Australas. J. Log. Melvin Fitting
2020	B	`conf`	About 'Binding Modalities'. AiML Melvin Fitting
2020	J	`jnl`	Bilattice Basics. FLAP Melvin Fitting
2020	J	`jnl`	First-order justification logic with constant domain semantics. J. Log. Comput. Melvin Fitting, Felipe de Souza Salvatore
2019	J	`jnl`	What Are Justification Logics? Fundam. Informaticae Melvin Fitting
2018	J	`jnl`	First-order justification logic with constant domain semantics. CoRR Melvin Fitting, Felipe de Souza Salvatore
2017	J	`jnl`	On Modalities and Quantifiers. Fundam. Informaticae Melvin Fitting
2017	J	`jnl`	Paraconsistent Logic, Evidence, and Justification. Stud Logica Melvin Fitting
2016	J	`jnl`	Modal logics, justification logics, and realization. Ann. Pure Appl. Log. Melvin Fitting
2016	J	`jnl`	Realization using the model existence theorem. J. Log. Comput. Melvin Fitting
2015	J	`jnl`	Cut-Free Proof Systems for Geach Logics. FLAP Melvin Fitting
2015	J	`jnl`	Modal interpolation via nested sequents. Ann. Pure Appl. Log. Melvin Fitting, Roman Kuznets
2015	—	`conf`	Quasi-Realization. TbiLLC Melvin Fitting
2014	J	`jnl`	Editorial. Ann. Pure Appl. Log. Anil Nerode, Melvin Fitting
2014	J	`jnl`	Nested Sequents for Intuitionistic Logics. Notre Dame J. Formal Log. Melvin Fitting
2014	J	`jnl`	Possible world semantics for first-order logic of proofs. Ann. Pure Appl. Log. Melvin Fitting
2014	J	`jnl`	Preface. Fundam. Informaticae Berndt Müller, Melvin Fitting
2014	J	`jnl`	The life and work of Sergei Artemov. Ann. Pure Appl. Log. Anil Nerode, Melvin Fitting
2012	J	`jnl`	Prefixed tableaus and nested sequents. Ann. Pure Appl. Log. Melvin Fitting
2012	J	`jnl`	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 Melvin Fitting
2011	—	`conf`	Nested Sequents and Prefixed Tableaus. TABLEAUX (Workshops, Tutorials, and Short Papers) Melvin Fitting
2011	J	`jnl`	Reasoning About Games. Stud Logica Melvin Fitting
2010	J	`jnl`	Justification logics and hybrid logics. J. Appl. Log. Melvin Fitting
2009	J	`jnl`	How True It Is = Who Says It's True. Stud Logica Melvin Fitting
2009	J	`jnl`	Realizations and LP. Ann. Pure Appl. Log. Melvin Fitting
2009	—	`ch.`	Reasoning with Justifications. Towards Mathematical Philosophy Melvin Fitting
2008	J	`jnl`	A quantified logic of evidence. Ann. Pure Appl. Log. Melvin Fitting
2008	Misc	`conf`	Explicit Logics of Knowledge and Conservativity. ISAIM Melvin Fitting
2008	J	`jnl`	Justification logics, logics of knowledge, and conservativity. Ann. Math. Artif. Intell. Melvin Fitting
2008	Misc	`conf`	S4LPand Local Realizability. CSR Melvin Fitting
2007	J	`jnl`	Correction to FOIL Stud Logica Melvin Fitting
2007	—	`ch.`	Modal proof theory. Handbook of Modal Logic Melvin Fitting
2007	Misc	`conf`	Realizations and LP. LFCS Melvin Fitting
2006	J	`jnl`	FOIL Axiomatized. Stud Logica Melvin Fitting
2005	—	`conf`	A Mistake on My Part. We Will Show Them! (1) Melvin Fitting
2005	C	`conf`	A Quantified Logic of Evidence. WoLLIC Melvin Fitting
2005	J	`jnl`	The logic of proofs, semantically. Ann. Pure Appl. Log. Melvin Fitting
2004	J	`jnl`	First-order intensional logic. Ann. Pure Appl. Log. Melvin Fitting
2002	B	`conf`	Bisimulations and Boolean Vectors. Advances in Modal Logic Melvin Fitting
2002	J	`jnl`	Fixpoint semantics for logic programming a survey. Theor. Comput. Sci. Melvin Fitting
2002	J	`jnl`	Interpolation for First Order S5. J. Symb. Log. Melvin Fitting
2002	J	`jnl`	Modal Logics Between Propositional and First-order. J. Log. Comput. Melvin Fitting
2001	J	`jnl`	Term-Modal Logics. Stud Logica Melvin Fitting, Lars Thalmann, Andrei Voronkov
2000	B	`conf`	Belief, Names, and Modes of Presentation. Advances in Modal Logic Ruili Ye, Melvin Fitting
2000	—	`conf`	Databases and Higher Types. Computational Logic Melvin Fitting
2000	B	`conf`	Modality and Databases. TABLEAUX Melvin Fitting
2000	B	`conf`	Term-Modal Logics. TABLEAUX Melvin Fitting, Lars Thalmann, Andrei Voronkov
1999	J	`jnl`	A Simple Propositional S5 Tableau System. Ann. Pure Appl. Log. Melvin Fitting
1999	J	`jnl`	Barcan Both Ways. J. Appl. Non Class. Logics Melvin Fitting
1999	J	`jnl`	On Quantified Modal Logic. Fundam. Informaticae Melvin Fitting
1998	Misc	`conf`	Bertrand Russell, Herbrand's Theorem, and the Assignment Statement. AISC Melvin Fitting
1998	—	`conf`	Higher-Order Modal Logic - A Sketch. FTP (LNCS Selection) Melvin Fitting
1998	J	`jnl`	leanTAP Revisited. J. Log. Comput. Melvin Fitting
1997	J	`jnl`	A Theory of Truth that Prefers Falsehood. J. Philos. Log. Melvin Fitting
1996	J	`jnl`	A Modal Herbrand Theorem. Fundam. Informaticae Melvin Fitting
1996	J	`jnl`	A Program to Compute Gödel-Löb Fixpoints. Bull. EATCS Melvin Fitting
1996	—	`book`	First-Order Logic and Automated Theorem Proving, Second Edition. Melvin Fitting
1995	B	`conf`	Annotated Revision Specification Programs. LPNMR Melvin Fitting
1995	J	`jnl`	Tableaus for many-valued modal logic. Stud Logica Melvin Fitting
1994	J	`jnl`	Kleene's Three Valued Logics and Their Children. Fundam. Informaticae Melvin Fitting
1994	J	`jnl`	Metric Methods Three Examples and a Theorem. J. Log. Program. Melvin Fitting
1994	J	`jnl`	Tableaux for Logic Programming. J. Autom. Reason. Melvin Fitting
1993	—	`conf`	Metric Methods in the Semantics of Logic Programs. ILPS Melvin Fitting
1993	J	`jnl`	The Family of Stable Models. J. Log. Program. Melvin Fitting
1992	J	`jnl`	Editorial. J. Log. Comput. Melvin Fitting
1992	J	`jnl`	Many-Valued Model Logics II. Fundam. Informaticae Melvin Fitting
1992	Misc	`conf`	Many-Valued Non-Monotonic Modal Logics. LFCS Melvin Fitting
1992	—	`conf`	Many-Valued Semantics for Logic Programming. JICSLP Melvin Fitting
1992	J	`jnl`	The Pure Logic of Necessitation. J. Log. Comput. Melvin Fitting, V. Wiktor Marek, Miroslaw Truszczynski
1991	J	`jnl`	Bilattices and the Semantics of Logic Programming. J. Log. Program. Melvin Fitting
1991	J	`jnl`	Kleene's Logic, Generalized. J. Log. Comput. Melvin Fitting
1991	J	`jnl`	Many-valued modal logics. Fundam. Informaticae Melvin Fitting
1991	—	`conf`	Modal Logic Should Say More Than It Does. Computational Logic - Essays in Honor of Alan Robinson Melvin Fitting
1991	—	`conf`	Well-Founded Semantics, Generalized. ISLP Melvin Fitting
1990	—	`conf`	Bilattices in Logic Prograrnming. ISMVL Melvin Fitting
1990	J	`jnl`	Destructive Modal Resolution. J. Log. Comput. Melvin Fitting
1990	—	`book`	First-Order Logic and Automated Theorem Proving Melvin Fitting
1989	J	`jnl`	Bilattices and the theory of truth. J. Philos. Log. Melvin Fitting
1989	A*	`conf`	Negation As Refutation LICS Melvin Fitting
1988	J	`jnl`	First-Order Modal Tableaux. J. Autom. Reason. Melvin Fitting
1988	J	`jnl`	Pseudo-Boolean valued prolog. Stud Logica Melvin Fitting
1988	—	`conf`	Stratified and Three-valued Logic Programming Semantics. ICLP/SLP Melvin Fitting, Marion Ben-Jacob
1987	J	`jnl`	Enumeration Operators and Modular Logic Programming. J. Log. Program. Melvin Fitting
1987	C	`conf`	Resolution for Intuitionistic Logic. ISMIS Melvin Fitting
1986	C	`conf`	Logic programming semantics using a compact data structure. ISMIS Melvin Fitting
1986	J	`jnl`	Notes on the mathematical aspects of Kripke's theory of truth. Notre Dame J. Formal Log. Melvin Fitting
1986	J	`jnl`	Partial Models and Logic Programming. Theor. Comput. Sci. Melvin Fitting
1985	J	`jnl`	A Deterministic Prolog Fixpoint Semantics. J. Log. Program. Melvin Fitting
1985	J	`jnl`	A Kripke-Kleene Semantics for Logic Programs. J. Log. Program. Melvin Fitting
1984	J	`jnl`	Linear Reasoning in Modal Logic. J. Symb. Log. Melvin Fitting
1978	J	`jnl`	Elementary Formal Systems for Hyperarithmetical Relations. Math. Log. Q. Melvin Fitting
1977	J	`jnl`	A tableau system for propositional S5. Notre Dame J. Formal Log. Melvin Fitting
1975	J	`jnl`	A modal logic ε-calculus. Notre Dame J. Formal Log. Melvin Fitting
1973	J	`jnl`	Model Existence Theorems for Modal and Intuitionistic Logics. J. Symb. Log. Melvin Fitting
1972	J	`jnl`	Tableau methods of proof for modal logics. Notre Dame J. Formal Log. Melvin Fitting
1972	J	`jnl`	ε-calculus based axiom systems for some propositional modal logics. Notre Dame J. Formal Log. Melvin Fitting
1971	J	`jnl`	A tableau proof method admitting the empty domain. Notre Dame J. Formal Log. Melvin Fitting
1970	J	`jnl`	An Embedding of Classical Logic in S4. J. Symb. Log. Melvin Fitting