Australasian Journal of Logic 15 (3):630-641 (2018)
Authors |
|
Abstract |
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) |
ISBN(s) | |
DOI | 10.26686/ajl.v15i3.4891 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
The Boxdot Conjecture and the Language of Essence and Accident.Christopher Steinsvold - 2011 - Australasian Journal of Logic 10:18-35.
Partial Confirmation of a Conjecture on the Boxdot Translation in Modal Logic.Rohan French & Lloyd Humberstone - 2009 - Australasian Journal of Logic 7:56-61.
The McKinsey–Lemmon Logic is Barely Canonical.Robert Goldblatt & Ian Hodkinson - 2007 - Australasian Journal of Logic 5:1-19.
Citations of this work BETA
No citations found.
Similar books and articles
The Boxdot Conjecture and the Language of Essence and Accident.Christopher Steinsvold - 2011 - Australasian Journal of Logic 10:18-35.
An Investigation of the Properties of the Mckinsey Axiom.Xiaoping Wang - 1991 - Dissertation, Tulane University
Partial Confirmation of a Conjecture on the Boxdot Translation in Modal Logic.Rohan French & Lloyd Humberstone - 2009 - Australasian Journal of Logic 7:56-61.
Cluster Expansion and the Boxdot Conjecture.Emil Jeřábek - 2016 - Mathematical Logic Quarterly 62 (6):608-614.
The Equivalence of a Generalized Martin's Axiom to a Combinatorial Principle.William Weiss - 1981 - Journal of Symbolic Logic 46 (4):817-821.
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.
A Parametrised Choice Principle and Martin's Conjecture on Blackwell Determinacy.Benedikt Löwe - 2006 - Mathematical Logic Quarterly 52 (2):187-189.
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.
Weak Forms of the Axiom of Choice and the Generalized Continuum Hypothesis.Arthur L. Rubin & Jean E. Rubin - 1993 - Mathematical Logic Quarterly 39 (1):7-22.
A Generalized Cut Characterization of the Fullness Axiom in CZF.Laura Crosilla, Erik Palmgren & Peter Schuster - 2013 - Logic Journal of the IGPL 21 (1):63-76.
Analytics
Added to PP index
2018-08-04
Total views
8 ( #1,006,192 of 2,506,002 )
Recent downloads (6 months)
2 ( #277,268 of 2,506,002 )
2018-08-04
Total views
8 ( #1,006,192 of 2,506,002 )
Recent downloads (6 months)
2 ( #277,268 of 2,506,002 )
How can I increase my downloads?
Downloads