The succinctness of the cover modality

&
Journal of Applied Non-Classical Logics 25 (4):373-405 (2015)
  Copy   BIBTEX

Abstract

We prove that modal logic formulated in a language with the cover modality is exponentially more succinct than the usual box-and-diamond version. In contrast with this, we show that adding the so-called public announcement operator to the latter results in a modal system that is exponentially more succinct than the one based on the cover modality.

Categories

Keywords

Reprint years

2016

DOI

10.1080/11663081.2016.1144016

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The Price of Universality.Edith Hemaspaandra - 1996 - Notre Dame Journal of Formal Logic 37 (2):174-203.
Modality: metaphysics, logic, and epistemology.Bob Hale & Aviv Hoffmann (eds.) - 2010 - qnew York: Oxford University Press.
Combining possibility and knowledge.Alexandre Costa-Leite - manuscript
Modality, si! Modal logic, no!John Mccarthy - 1997 - Studia Logica 59 (1):29-32.
Is modal logic logic?Gilbert Harman - 1972 - Philosophia 2 (1-2):75-84.
Essence and modality.Kit Fine - 1994 - Philosophical Perspectives 8 (Logic and Language):1-16.
Modality.Joseph Melia - 2003 - Chesham: Mcgill-Queen's University Press.
Reference and modality.Leonard Linsky - 1971 - London,: Oxford University Press.
Modality.Joseph Melia - 2003 - Chesham: Routledge.
Concrete possible worlds and counterfactual conditionals: Lewis versus Williamson on modal knowledge.Andrea Sauchelli - 2010 - Synthese 176 (3):345-359.
Logical Necessity.Ian Rumfitt - 2010 - In Bob Hale & Aviv Hoffmann (eds.), Modality: Metaphysics, Logic, and Epistemology. Oxford University Press.
Modal primitivism.Jennifer Wang - 2013 - Dissertation, Rutgers University
TxW Epistemic Modality.Andrea Iacona - 2012 - Logic and Philosophy of Science 10:3-14.
Circumstantial and temporal dependence in counterfactual modals.Dorit Abusch - 2012 - Natural Language Semantics 20 (3):273-297.
Modal logic, truth, and the master modality.Torben Braüner - 2002 - Journal of Philosophical Logic 31 (4):359-386.

Analytics

Added to PP
2016-04-19

Downloads
14 (#965,243)

6 months
4 (#790,687)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Logics of public communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.
Modal logic.Yde Venema - 2000 - Philosophical Review 109 (2):286-289.
Finite models constructed from canonical formulas.Lawrence S. Moss - 2007 - Journal of Philosophical Logic 36 (6):605 - 640.

View all 11 references / Add more references