On the predicate logic of linear Kripke frames and some of its extensions (Q817691): 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.1007/s11225-005-3706-4 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2017127608 / rank | |||
Normal rank | |||
Revision as of 02:30, 20 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the predicate logic of linear Kripke frames and some of its extensions |
scientific article |
Statements
On the predicate logic of linear Kripke frames and some of its extensions (English)
0 references
17 March 2006
0 references
Completeness or incompleteness of different well-known intermediate predicate logics extending the predicate logic of linear Kripke frames (the predicate variant of Dummett's logic) with respect to Kripke semantics are proved or reproved. The proofs presented in this paper are essentially based on the standard technique of saturated sets of sentences.
0 references
intermediate predicate logics
0 references
Kripke semantics
0 references
completeness and incompleteness
0 references
