Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
Propositional modal logic is a standard tool in many disciplines, but first-order modal logic is not. There are several reasons for this, including multiplicity of versions and inadequate syntax. In this paper we sketch a syntax and semantics for a natural, well-behaved version of first-order modal logic, and show it copes easily with several familiar difficulties. And we provide tableau proof rules to go with the semantics, rules that are, at least in principle, automatable.
Słowa kluczowe
Wydawca
Czasopismo
Rocznik
Tom
Strony
105--121
Opis fizyczny
bibliogr. 11 poz.
Twórcy
autor
- Department of Mathematics and Computer Science, Lehman College (CUNY), Bronx, NY 10468, fitting@alpha.lehman.cuny.edu
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS1-0007-0054