Loading...
Please wait, while we are loading the content...
Similar Documents
ON DEFINABILITY IN MULTIMODAL LOGIC
| Content Provider | Scilit |
|---|---|
| Author | Halpern, Joseph Y. Samet, Dov Segev, Ella |
| Copyright Year | 2009 |
| Description | Three notions of definability in multimodal logic are considered. Two are analogous to the notions of explicit definability and implicit definability introduced by Beth in the context of first-order logic. However, while by Beth’s theorem the two types of definability are equivalent for first-order logic, such an equivalence does not hold for multimodal logics. A third notion of definability, reducibility, is introduced; it is shown that in multimodal logics, explicit definability is equivalent to the combination of implicit definability and reducibility. The three notions of definability are characterized semantically using (modal) algebras. The use of algebras, rather than frames, is shown to be necessary for these characterizations. |
| Related Links | https://www.cambridge.org/core/services/aop-cambridge-core/content/view/8AD5F508FAE4631D6A1C7C6EBEDE8FFC/S175502030999013Xa.pdf/div-class-title-on-definability-in-multimodal-logic-div.pdf |
| Ending Page | 468 |
| Page Count | 18 |
| Starting Page | 451 |
| ISSN | 17550203 |
| e-ISSN | 17550211 |
| DOI | 10.1017/s175502030999013x |
| Journal | The Review of Symbolic Logic |
| Issue Number | 03 |
| Volume Number | 2 |
| Language | English |
| Publisher | Cambridge University Press (CUP) |
| Publisher Date | 2009-09-01 |
| Access Restriction | Open |
| Subject Keyword | The Review of Symbolic Logic Cybernetical Science Notions of Definability Multimodal Logics |
| Content Type | Text |
| Resource Type | Article |
| Subject | Philosophy Logic |
