Options
Adequacy Results for Some Priorean Modal Propositional Logics
Auteur(s)
Date de parution
1999
In
Notre Dame Journal of Formal Logic, Project Euclid, 1999/40/20/236-249
Résumé
Standard possible world semantics for <i>propositional</i> modal languages ignore truth-value gaps. However, simple considerations suggest that it should not be so. In Section 1, I identify what I take to be a correct truth-clause for necessity under the assumption that some possible worlds are incomplete (i.e., "at" which some propositions lack a truth-value). In Section 2, I build a world semantics, the semantics of <i>TV-models</i>, for standard modal propositional languages, which agrees with the truth-clause for necessity previously identified. Sections 3-5 are devoted to systematic concerns. In particular, in Section 4, Prior's system <i><b>Q</b></i> (propositional version) is given a TV-models semantics and proved adequate (i.e., sound and complete) with respect to it.
Identifiants
Type de publication
journal article
