A Note on the Issue of Cohesiveness in Canonical Models-Reference-Cited by-同舟云学术

A Note on the Issue of Cohesiveness in Canonical Models

Published:2019-10-26 Issue:3 Volume:29 Page:331-348
ISSN:0925-8531
Container-title:Journal of Logic, Language and Information
language:en
Short-container-title:J of Log Lang and Inf

Author:

Pascucci Matteo^ORCID

Abstract

Abstract In their presentation of canonical models for normal systems of modal logic, Hughes and Cresswell observe that some of these models are based on a frame which can be also thought of as a collection of two or more isolated frames; they call such frames ‘non-cohesive’. The problem of checking whether the canonical model of a given system is cohesive is still rather unexplored and no general decision procedure is available. The main contribution of this article consists in introducing a method which is sufficient to show that canonical models of some relevant classes of normal monomodal and bimodal systems are always non-cohesive.

Funder

TU Wien

Publisher

Springer Science and Business Media LLC

Subject

Linguistics and Language,Philosophy,Computer Science (miscellaneous)

Link

http://link.springer.com/content/pdf/10.1007/s10849-019-09305-3.pdf

Reference15 articles.

1. Catach, L. (1988). Normal multimodal logics. In H.E. Shrobe, T.M. Mitchell & R.G. Smith (Eds.), Proceedings of AAAI 1988 (pp. 491–495).

2. Chagrov, A., & Zakharyaschev, M. (1997). Modal logic. Oxford: Clarendon Press.

3. Goldblatt, R., & Kowalski, T. (2014). The power of a propositional constant. Journal of Philosophical Logic, 43(1), 133–152.

4. Hughes, G. E., & Cresswell, M. J. (1984). A companion to modal logic. London: Methuen.

5. Hughes, G. E., & Cresswell, M. J. (1996). A new introduction to modal logic. London: Routledge.