- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Canonical formulas for modal and superintuitionistic logics: a short outline
In Maarten de Rijke (ed.), Advances in Intensional Logic. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 195--248 (1997)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
Advances in Intensional Logic.Maarten de Rijke (ed.) - 1997 - Dordrecht, Netherland: Kluwer Academic Publishers.
Canonical formulas for k4. part II: Cofinal subframe logics.Michael Zakharyaschev - 1996 - Journal of Symbolic Logic 61 (2):421-449.
Canonical formulas for k4. part III: The finite model property.Michael Zakharyaschev - 1997 - Journal of Symbolic Logic 62 (3):950-975.
Interpolation in Superintuitionistic and Modal Predicate Logics with Equality.Larisa Maksimova - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 133-140.
Interpolation in Superintuitionistic and Modal Predicate Logics with Equality.Larisa Maksimova - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 133-140.
Duality in Superintuitionistic and Modal Predicate Logics.Hiroyuki Shirasu - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 223-236.
Duality in Superintuitionistic and Modal Predicate Logics.Hiroyuki Shirasu - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 223-236.
A Remark on Peculiarity in the Functor Semantic for Superintuitionistic Predicate Logics with Equality.Dmitrij Skvortsov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 483-493.
Cofinal Stable Logics.Guram Bezhanishvili, Nick Bezhanishvili & Julia Ilin - 2016 - Studia Logica 104 (6):1287-1317.
Analytics
Added to PP
2014-01-25
Downloads
26 (#860,649)
6 months
2 (#1,693,059)
2014-01-25
Downloads
26 (#860,649)
6 months
2 (#1,693,059)
Historical graph of downloads
Citations of this work
An Algebraic Approach to Canonical Formulas: Intuitionistic Case.Guram Bezhanishvili - 2009 - Review of Symbolic Logic 2 (3):517.
The Finite Frame Property of Some Extensions of the Pure Logic of Necessitation.Taishi Kurahashi & Yuta Sato - forthcoming - Studia Logica:1-27.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-648784bb4d-mnmvz uwo