- The Logic of Contradiction.Nicolas D. Goodman - 1981 - Mathematical Logic Quarterly 27 (8-10):119-126.details
|
|
Modal companions of intermediate propositional logics.Alexander Chagrov & Michael Zakharyashchev - 1992 - Studia Logica 51 (1):49 - 82.details
|
|
(1 other version)Formal systems of dialogue rules.Erik C. W. Krabbe - 1985 - Synthese 63 (3):295 - 328.details
|
|
Completeness results for intuitionistic and modal logic in a categorical setting.M. Makkai & G. E. Reyes - 1995 - Annals of Pure and Applied Logic 72 (1):25-101.details
|
|
Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.details
|
|
Normal modal model theory.Kenneth A. Bowen - 1975 - Journal of Philosophical Logic 4 (2):97 - 131.details
|
|
Noncumulative dialectical models and formal dialectics.Erik C. W. Krabbe - 1985 - Journal of Philosophical Logic 14 (2):129 - 168.details
|
|
Proof theory and constructive mathematics.Anne S. Troelstra - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 973--1052.details
|
|
Leo Esakia on Duality in Modal and Intuitionistic Logics.Guram Bezhanishvili (ed.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Embeddings of classical logic in S4.J. Czermak - 1975 - Studia Logica 34 (1):87-100.details
|
|
(1 other version)Completeness Theorems for Temporal Logics TΩ and □TΩ.Hiroya Kawai - 1988 - Mathematical Logic Quarterly 34 (5):393-398.details
|
|
(1 other version)Completeness Theorems for Temporal Logics TΩ and □TΩ.Hiroya Kawai - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (5):393-398.details
|
|
Advances in Modal Logic, Vol. 13.Nicola Olivetti & Rineke Verbrugge (eds.) - 2020 - College Publications.details
|
|
Wahrheit und selbstrückbezüglichkeit.Jesus Padilla-Galvez - 1991 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 22 (1):111-132.details
|
|
Darstellung der Lewyschen Algebren.Dietrich Schwartz - 1979 - Mathematical Logic Quarterly 25 (3-6):53-56.details
|
|