19 results
MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 02 December 2021, pp. 427-467
- Print publication:
- March 2023
-
- Article
- Export citation
TEMPORAL INTERPRETATION OF MONADIC INTUITIONISTIC QUANTIFIERS
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 02 December 2021, pp. 164-187
- Print publication:
- March 2023
-
- Article
- Export citation
MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 08 October 2021, pp. 1322-1348
- 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
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
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
TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 2 / June 2015
- Published online by Cambridge University Press:
- 22 April 2015, pp. 520-566
- Print publication:
- June 2015
-
- Article
- Export citation
MODAL LOGICS OF METRIC SPACES
-
- Journal:
- The Review of Symbolic Logic / Volume 8 / Issue 1 / March 2015
- Published online by Cambridge University Press:
- 18 December 2014, pp. 178-191
- Print publication:
- March 2015
-
- Article
- 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
THE MODAL LOGIC OF STONE SPACES: DIAMOND AS DERIVATIVE
-
- Journal:
- The Review of Symbolic Logic / Volume 3 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 22 January 2010, pp. 26-40
- Print publication:
- March 2010
-
- 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
Are All Infinities Created Equal?
- from II - Historical Projects in Discrete Mathematics and Computer Science
-
-
- Book:
- Resources for Teaching Discrete Mathematics
- Published by:
- Mathematical Association of America
- Published online:
- 26 October 2011
- Print publication:
- 03 January 2009, pp 225-230
-
- Chapter
- Export citation
Church's Thesis
- from II - Historical Projects in Discrete Mathematics and Computer Science
-
-
- Book:
- Resources for Teaching Discrete Mathematics
- Published by:
- Mathematical Association of America
- Published online:
- 26 October 2011
- Print publication:
- 03 January 2009, pp 253-266
-
- Chapter
- Export citation
Introduction
- from II - Historical Projects in Discrete Mathematics and Computer Science
-
-
- Book:
- Resources for Teaching Discrete Mathematics
- Published by:
- Mathematical Association of America
- Published online:
- 26 October 2011
- Print publication:
- 03 January 2009, pp 165-168
-
- Chapter
- Export citation
Marcus Kracht. Tools and techniques in modal logic. Studies in logic and the foundations of mathematics, vol. 142. Elsevier, Amsterdam etc. 1999, xiii + 559 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 2 / June 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 278-279
- Print publication:
- June 2001
-
- Article
- Export citation