- (1 other version)Some theorems about the sentential calculi of Lewis and Heyting.J. C. C. McKinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (1):1-15.details
|
|
(1 other version)Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke - 1963 - In Michael Dummett & J. N. Crossley (eds.), Formal Systems and Recursive Functions. Amsterdam,: North Holland. pp. 92-130.details
|
|
(1 other version)Propositional quantifiers in modal logic.Kit Fine - 1970 - Theoria 36 (3):336-346.details
|
|
Semantical Investigations in Heyting's Intuitionistic Logic.Dov M. Gabbay - 1986 - Journal of Symbolic Logic 51 (3):824-824.details
|
|
Semantical Investigations in Heyting's Intuitionistic Logic.Dov M. Gabbay - 1981 - Dordrecht, Netherland: Reidel.details
|
|
(1 other version)Some Theorems About the Sentential Calculi of Lewis and Heyting.J. C. C. Mckinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (3):171-172.details
|
|
(1 other version)Propositional Quantifiers in Modal Logic.Kit Fine - 1970 - Journal of Symbolic Logic 38 (2):329-329.details
|
|
(1 other version)Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke, J. N. Crossley & M. A. E. Dummett - 1970 - Journal of Symbolic Logic 35 (2):330-332.details
|
|
On the complexity of propositional quantification in intuitionistic logic.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (2):529-544.details
|
|
Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀ p and ∃ p.Philip Kremer - 1993 - Journal of Symbolic Logic 58 (1):334-349.details
|
|
Compact propositional Gödel logics.Matthias Baaz & Richard Zach - 1998 - In Baaz Matthias (ed.), 28th IEEE International Symposium on Multiple-Valued Logic, 1998. Proceedings. IEEE Press. pp. 108-113.details
|
|
Quantified Propositional Gödel Logics.Matthias Baaz, Agata Ciabattoni & Richard Zach - 2000 - In Voronkov Andrei & Parigot Michel (eds.), Logic for Programming and Automated Reasoning. 7th International Conference, LPAR 2000. Springer. pp. 240-256.details
|
|