On the predicate logic of linear Kripke frames and some of its extensions (Q817691)
From MaRDI portal
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
