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

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.]
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.26686/ajl.v15i3.4891
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,379
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

No citations found.

Add more citations

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 index

Total views
8 ( #1,010,489 of 2,519,690 )

Recent downloads (6 months)
1 ( #406,314 of 2,519,690 )

How can I increase my downloads?


My notes