Melvin Fitting - Concepedia

Author

Melvin Fitting

Also Known As

Fitting, Melvin, Fitting, Melvin 1942-, M Fitting, M. Fitting, MELVIN C. FITTING, MELVIN FITTING, Melvin C. Fitting, Melvin Fitting

271

Publications

7.5K

Citations

H-Index

Concepts

All Affiliations

Lehman College The Graduate Center, CUNY City University of New York

About

Melvin Fitting is an author at Lehman College specializing in automated reasoning, engineering, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	24	36	3K
2	Language Studies	8	8	764
3	Arts	1	1	11
4	Business	1	1	11
5	Humanities	1	1	25

Melvin Fitting

Publications

4.1K

Citations

H-Index

Page 1

	Year	Citations
A kripke-kleene semantics for logic programs* Melvin Fitting The Journal of Logic Programming Applied LogicEngineeringAutomated ReasoningFormal MethodsLogic Programs	1985	536
Bilattices and the semantics of logic programming Melvin Fitting The Journal of Logic Programming Computational LogicNon-classical LogicEngineeringAutomated ReasoningFormal Methods	1991	405
Many-Valued Modal Logics Melvin Fitting Fundamenta Informaticae Accessibility RelationKripke ModelsMany-valued Modal LogicsEngineeringNon-classical Logic	1991	280
The logic of proofs, semantically Melvin Fitting Annals of Pure and Applied Logic EngineeringAutomated ReasoningVerificationProof AssistantProof Theory	2004	269
Fixpoint semantics for logic programming a survey Melvin Fitting Theoretical Computer Science EngineeringAutomated ReasoningAnswer Set ProgrammingFormal MethodsWell-founded Semantics	2002	228
Many-Vawed Modal Logics II Melvin Fitting Fundamenta Informaticae EngineeringSubstructural LogicDynamic Epistemic LogicAutomated ReasoningConventional Kripke Models	1992	200
KLEENE’S THREE VALUED LOGICS AND THEIR CHILDREN Melvin Fitting Fundamenta Informaticae Algebraic LogicBelnap ’EngineeringAutomated ReasoningBilinear Bilattices	1994	158
Kleene's Logic, Generalized Melvin Fitting Journal of Logic and Computation Non-classical LogicSyntaxAutomated ReasoningLanguage StudiesSemantics	1991	154
Tableau methods of proof for modal logics. Melvin Fitting Notre Dame Journal of Formal Logic EngineeringAutomated ReasoningPropositional LogicModal LogicFormal Methods	1972	122
Bilattices in logic programming Melvin Fitting Applied LogicFormal LogicLogic Programming LanguagesNon-monotonic LogicEngineering	2002	110

Page 1