13 results
POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 14 November 2022, pp. 342-382
- Print publication:
- March 2024
-
- Article
- Export citation
AN ALGEBRAIC APPROACH TO INQUISITIVE AND $\mathtt {DNA}$-LOGICS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 02 December 2021, pp. 950-990
- Print publication:
- December 2022
-
- Article
- Export citation
THE MCKINSEY–TARSKI THEOREM FOR LOCALLY COMPACT ORDERED SPACES
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 29 April 2021, pp. 187-211
- Print publication:
- June 2021
-
- Article
- Export citation
CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 01 February 2021, pp. 162-177
- Print publication:
- March 2021
-
- Article
- Export citation
CHOICE-FREE STONE DUALITY
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 1 / March 2020
- Published online by Cambridge University Press:
- 29 August 2019, pp. 109-148
- Print publication:
- March 2020
-
- Article
- Export citation
STABLE MODAL LOGICS
-
- Journal:
- The Review of Symbolic Logic / Volume 11 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 27 September 2018, pp. 436-469
- Print publication:
- September 2018
-
- Article
- Export citation
TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3
-
- Journal:
- The Review of Symbolic Logic / Volume 11 / Issue 1 / March 2018
- Published online by Cambridge University Press:
- 14 January 2018, pp. 115-132
- Print publication:
- March 2018
-
- Article
- Export citation
KRULL DIMENSION IN MODAL LOGIC
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 4 / December 2017
- Published online by Cambridge University Press:
- 09 January 2018, pp. 1356-1386
- Print publication:
- December 2017
-
- Article
- Export citation
INSTANTIAL NEIGHBOURHOOD LOGIC
-
- Journal:
- The Review of Symbolic Logic / Volume 10 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 19 December 2016, pp. 116-144
- Print publication:
- March 2017
-
- Article
- Export citation
STABLE CANONICAL RULES
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 1 / March 2016
- Published online by Cambridge University Press:
- 09 March 2016, pp. 284-315
- Print publication:
- March 2016
-
- Article
-
- You have access
- Export citation
CANONICAL FORMULAS FOR wK4
-
- Journal:
- The Review of Symbolic Logic / Volume 5 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 19 September 2012, pp. 731-762
- Print publication:
- December 2012
-
- Article
- Export citation
Bitopological duality for distributive lattices and Heyting algebras
-
- Journal:
- Mathematical Structures in Computer Science / Volume 20 / Issue 3 / June 2010
- Published online by Cambridge University Press:
- 18 January 2010, pp. 359-393
-
- Article
- Export citation
AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
-
- Journal:
- The Review of Symbolic Logic / Volume 2 / Issue 3 / September 2009
- Published online by Cambridge University Press:
- 05 October 2009, pp. 517-549
- Print publication:
- September 2009
-
- Article
- Export citation