Loading...
Please wait, while we are loading the content...
Similar Documents
INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS
| Content Provider | Scilit |
|---|---|
| Author | Mikec, Luka Vuković, Mladen |
| Copyright Year | 2020 |
| Description | We obtain modal completeness of the interpretability logics IL $\!\!\textsf {P}_{\textsf {0}}$ and ILR w.r.t. generalised Veltman semantics. Our proofs are based on the notion of full labels [2]. We also give shorter proofs of completeness w.r.t. the generalised semantics for many classical interpretability logics. We obtain decidability and finite model property w.r.t. the generalised semantics for IL $\textsf {P}_{\textsf {0}}$ and ILR. Finally, we develop a construction that might be useful for proofs of completeness of extensions of ILW w.r.t. the generalised semantics in the future, and demonstrate its usage with $\textbf {IL}\textsf {W}^\ast = \textbf {IL}\textsf {WM}_{\textsf {0}}$ . |
| Related Links | https://www.cambridge.org/core/services/aop-cambridge-core/content/view/FAEE627FC96AC91571DA6ACDA5AD5B81/S0022481220000079a.pdf/div-class-title-interpretability-logics-and-generalised-veltman-semantics-div.pdf |
| Ending Page | 772 |
| Page Count | 24 |
| Starting Page | 749 |
| ISSN | 00224812 |
| e-ISSN | 19435886 |
| DOI | 10.1017/jsl.2020.7 |
| Journal | The Journal of Symbolic Logic |
| Issue Number | 2 |
| Volume Number | 85 |
| Language | English |
| Publisher | Cambridge University Press (CUP) |
| Publisher Date | 2020-06-01 |
| Access Restriction | Open |
| Subject Keyword | The Journal of Symbolic Logic Cybernetical Science Veltman Semantics Generalised Veltman |
| Content Type | Text |
| Resource Type | Article |
| Subject | Philosophy Logic |
