Nasza strona internetowa wykorzystuje cookies (pol.: ciasteczka)

W celu sprawnego i szybkiego działania serwisu, zapewnienia wygody podczas jego przeglądania, dostosowywania funkcjonalności do indywidualnych potrzeb użytkowników, a także w celach statystycznych oraz reklamowych, używamy informacji zapisanych za pomocą cookies. Korzystanie z serwisu jest równoznaczne ze zgodą użytkownika na stosowanie plików cookies. Więcej informacji znajdziesz tutaj.

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
Data urodzenia:
24 stycznia 1942

Płeć:
mężczyzna

Miejsce urodzenia:
Troy, New York, Stany Zjednoczone

Oficjalna strona:
Przejdź do strony www

Tematyka:
Logika, Logika matematyczna, logika modalna, teorie prawdy

Dodany przez:
Andrzej

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: 1 | 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
0
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