Melvin Fitting

Research Interests Applications of logic to computer science and to philosophy Modal Logics Theory of Truth I have developed tableau methods for many modal logics, which have been successfully... Research Interests

Applications of logic to computer science and to philosophy
Modal Logics
Theory of Truth
I have developed tableau methods for many modal logics, which have been successfully implemented on computers. My work on Kripke-like theories of truth has also been applied to provide semantics for certain programming languages. Some of this work has also found application in non-monotonic reasoning. Recently I have been interested in first- and higher-order modal logics. Applications here range from an explication of Goedel's ontological argument, to semantics for databases of a rather complex sort. My current research involves adding or removing various features from quantified modal logics, to see what the formal consequences are.

- See more at: http://www.gc.cuny.edu/Page-Elements/Academics-Research-Centers-Initiatives/Doctoral-Programs/Philosophy/Faculty-Bios/Melvin-Fitting#sthash.EzHuEAVG.dpuf

źródło opisu: http://www.gc.cuny.edu/Page-Elements/Academics-Research-Centers-Initiatives/Doctoral-Programs/Philosophy/Faculty-Bios/Melvin-Fitting

źródło zdjęcia: http://melvinfitting.org/index.html

pokaż więcej
Wszystkie Poza moją biblioteczką W mojej biblioteczce Pokaż książki znajdujące się:
First-Order Modal Logic
First-Order Modal Logic
Melvin Fitting, Richard L. Mendelsohn

9 (1 ocen i 1 opinii)
First-Order Modal Logic Seria: Synthese Library
Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background. They adopt throughout a threefold approach. Semantically, they use...
czytelników: 2 | opinie: 1 | ocena: 9 (1 głos)

Wywiad z autorem

Chciałbyś zadać pytanie swojemu ulubionemu autorowi?
Dołącz do grupy „Rozmowy z autorami” i zaproponuj pytania, my zorganizujemy wywiad.

Dyskusje o autorze

1
1
1
Tylu naszych czytelników chce przeczytać książki tego autora.
Tyle osób przeczytało książkę tego autora.
Tyle książek tego autora znajduje się w naszej bazie.

Fani autora (0)

Lista jest pusta

Czytelnicy (1)

zgłoś błąd zgłoś błąd