First-order intensional logic (Q598308): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1016/j.apal.2003.11.014 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2005814072 / rank | |||
Normal rank | |||
Revision as of 19:47, 19 March 2024
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
