| Title: |
A Remark on Superintuitionistic Predicate Logics of Kripke Frames with Constant and with Nested Domains |
| Authors: |
Skvortsov, Dmitrij |
| Publisher Information: |
Oxford University Press |
| Publication Year: |
2011 |
| Collection: |
HighWire Press (Stanford University) |
| Subject Terms: |
Original Articles |
| Description: |
The superintuitionistic predicate logics (without or with equality) of all predicate Kripke frames with nested domains over a fixed poset W (a set of possible worlds) are embeddable in the logic (without equality) of all Kripke frames with constant domains over W . Therefore, Takano's result [13] on finite axiomatizability of the logic of Kripke frames with constant domains over the set of real numbers implies the recursive axiomatizability of the corresponding logics with nested domains. Other consequences are mentioned as well. |
| Document Type: |
text |
| File Description: |
text/html |
| Language: |
English |
| Relation: |
http://logcom.oxfordjournals.org/cgi/content/short/21/4/697; http://dx.doi.org/10.1093/logcom/exp046 |
| DOI: |
10.1093/logcom/exp046 |
| Availability: |
http://logcom.oxfordjournals.org/cgi/content/short/21/4/697; https://doi.org/10.1093/logcom/exp046 |
| Rights: |
Copyright (C) 2011, Oxford University Press |
| Accession Number: |
edsbas.BB64E9D2 |
| Database: |
BASE |