The Boxdot Conjecture and the Generalized McKinsey Axiom

Australasian Journal of Logic 15 (3):630-641 (2018)
  Copy   BIBTEX


The Boxdot Conjecture is shown to hold for a novel class of modal systems. Each system in this class is K plus an instance of a natural generalization of the McKinsey axiom. [Note from the editors: This paper was accepted for publication in 2011. It should have been published in 2014. The lateness of the appearance of the article is due entirely to an editorial oversight.]



    Upload a copy of this work     Papers currently archived: 83,802

External links

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

Through your library

Similar books and articles

Cluster expansion and the boxdot conjecture.Emil Jeřábek - 2016 - Mathematical Logic Quarterly 62 (6):608-614.
The Ground Axiom.Jonas Reitz - 2007 - Journal of Symbolic Logic 72 (4):1299 - 1317.
On the Consistency of a Positive Theory.Olivier Esser - 1999 - Mathematical Logic Quarterly 45 (1):105-116.
The PCF Conjecture and Large Cardinals.Luís Pereira - 2008 - Journal of Symbolic Logic 73 (2):674 - 688.
The McKinsey axiom is not canonical.Robert Goldblatt - 1991 - Journal of Symbolic Logic 56 (2):554-562.
The McKinsey axiom is not compact.Xiaoping Wang - 1992 - Journal of Symbolic Logic 57 (4):1230-1238.
A maximal bounded forcing axiom.David Asperó - 2002 - Journal of Symbolic Logic 67 (1):130-142.


Added to PP

9 (#977,257)

6 months
1 (#494,451)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations