First-order intensional logic (Q598308)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: First-order intensional logic |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | First-order intensional logic |
scientific article |
Statements
First-order intensional logic (English)
0 references
6 August 2004
0 references
Several approaches to first-order modal logic are referred to, in particular to D. Lewis' counterpart and multiple counterpart models. The author presents first-order intensional logic with object variables and intensional variables (where intensions are construed as usually, i.e., as functions from possible worlds). The syntactic part is represented by tableaux using prefixes (which indicate possible worlds). A completeness proof is suggested.
0 references
modal logic
0 references
quantifiers
0 references
Kripke models
0 references
counterpart semantics
0 references
intensional logic
0 references
tableaux
0 references
