- On superintuitionistic logics as fragments of proof logic extensions.A. V. Kuznetsov & A. Yu Muravitsky - 1986 - Studia Logica 45 (1):77 - 99.details
|
|
Natural factors of the Muchnik lattice capturing IPC.Rutger Kuyper - 2013 - Annals of Pure and Applied Logic 164 (10):1025-1036.details
|
|
Natural factors of the Medvedev lattice capturing IPC.Rutger Kuyper - 2014 - Archive for Mathematical Logic 53 (7-8):865-879.details
|
|
The Modal Logic of Gödel Sentences.Hirohiko Kushida - 2010 - Journal of Philosophical Logic 39 (5):577 - 590.details
|
|
On a generalized cylindrical algebra and intuitionistic logic.Jerzy Kotas & August Pieczkowski - 1966 - Studia Logica 18 (1):73 - 81.details
|
|
From Intuitionism to Brouwer's Modal Logic.Zofia Kostrzycka - 2020 - Bulletin of the Section of Logic 49 (4):343-358.details
|
|
Provability as a deontic notion.Charles F. Kielkopf - 1971 - Theory and Decision 2 (1):1-15.details
|
|
Modal Multilattice Logic.Norihiro Kamide & Yaroslav Shramko - 2017 - Logica Universalis 11 (3):317-343.details
|
|
Carnapian extensions of S.Herbert E. Hendry & M. L. Pokriefka - 1985 - Journal of Philosophical Logic 14 (2):111 - 128.details
|
|
Modal translation of substructural logics.Chrysafis Hartonas - 2020 - Journal of Applied Non-Classical Logics 30 (1):16-49.details
|
|
Lattice logic as a fragment of (2-sorted) residuated modal logic.Chrysafis Hartonas - 2019 - Journal of Applied Non-Classical Logics 29 (2):152-170.details
|
|
Duality Results for (Co)Residuated Lattices.Chrysafis Hartonas - 2019 - Logica Universalis 13 (1):77-99.details
|
|
Nieklasyczne rachunki zdań a met odologiczne schematy badania naukowego i definicje pojęć asertywnych.Andrzej Grzegorczyk - 1967 - Studia Logica 20 (1):117-130.details
|
|
Spatial logic of tangled closure operators and modal mu-calculus.Robert Goldblatt & Ian Hodkinson - 2017 - Annals of Pure and Applied Logic 168 (5):1032-1090.details
|
|
Strong Completeness of Modal Logics Over 0-Dimensional Metric Spaces.Robert Goldblatt & Ian Hodkinson - 2020 - Review of Symbolic Logic 13 (3):611-632.details
|
|
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.details
|
|
Erdős graphs resolve fine's canonicity problem.Robert Goldblatt, Ian Hodkinson & Yde Venema - 2004 - Bulletin of Symbolic Logic 10 (2):186-208.details
|
|
Arithmetical necessity, provability and intuitionistic logic.Rob Goldblatt - 1978 - Theoria 44 (1):38-46.details
|
|
Continuity, freeness, and filtrations.Silvio Ghilardi - 2010 - Journal of Applied Non-Classical Logics 20 (3):193-217.details
|
|
Modal logic and model theory.Giangiacomo Gerla & Virginia Vaccaro - 1984 - Studia Logica 43 (3):203 - 216.details
|
|
Conuclear Images of substructural logics.Giulia Frosoni - 2016 - Mathematical Logic Quarterly 62 (3):204-214.details
|
|
ASH, CJ, Stability of recursive structures in arithmetical degrees BLASS, A. and GUREVICH, Y., Henkin quantifiers and complete problems BUCHHOLZ, W., A new system of proof-theoretic ordinal functions. [REVIEW]H. Friedman & Rc Flagg - 1986 - Annals of Pure and Applied Logic 32 (C):299.details
|
|
Intuitionistic Sahlqvist Theory for Deductive Systems.Damiano Fornasiere & Tommaso Moraschini - forthcoming - Journal of Symbolic Logic:1-59.details
|
|
The simplest protoalgebraic logic.Josep Maria Font - 2013 - Mathematical Logic Quarterly 59 (6):435-451.details
|
|
Epistemic and intuitionistic formal systems.R. C. Flagg & H. Friedman - 1986 - Annals of Pure and Applied Logic 32:53-60.details
|
|
Extensions of Priest-da Costa Logic.Thomas Macaulay Ferguson - 2014 - Studia Logica 102 (1):145-174.details
|
|
Conservative translations.Hércules Feitosa & Itala Loffredo D'ottaviano - 2001 - Annals of Pure and Applied Logic 108 (1-3):205-227.details
|
|
Intuitionistic logic and modality via topology.Leo Esakia - 2004 - Annals of Pure and Applied Logic 127 (1-3):155-170.details
|
|
On different intuitionistic calculi and embeddings from int to S.Uwe Egly - 2001 - Studia Logica 69 (2):249-277.details
|
|
Almost structural completeness; an algebraic approach.Wojciech Dzik & Michał M. Stronkowski - 2016 - Annals of Pure and Applied Logic 167 (7):525-556.details
|
|
Modal Logics Between S 4 and S 5.M. A. E. Dummett & E. J. Lemmon - 1959 - Mathematical Logic Quarterly 5 (14-24):250-264.details
|
|
Modern Origins of Modal Logic.Roberta Ballarin - 2010 - Stanford Encyclopedia of Philosophy.details
|
|
Is Classical Mathematics Appropriate for Theory of Computation?Farzad Didehvar - manuscriptdetails
|
|
Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloodetails
|
|
Frontiers of Conditional Logic.Yale Weiss - 2019 - Dissertation, The Graduate Center, City University of New Yorkdetails
|
|
Kripke completeness revisited.Sara Negri - 2009 - In Giuseppe Primiero (ed.), Acts of Knowledge: History, Philosophy and Logic. College Publications. pp. 233--266.details
|
|
Abstract logical structuralism.Jean-Pierre Marquis - 2020 - Philosophical Problems in Science 69:67-110.details
|
|
Characterization of Classes of Frames in Modal Language.Kazimierz Trzęsicki - 2012 - Studies in Logic, Grammar and Rhetoric 27 (40).details
|
|
A Semantic Hierarchy for Intuitionistic Logic.Guram Bezhanishvili & Wesley H. Holliday - 2019 - Indagationes Mathematicae 30 (3):403-469.details
|
|
On an Intuitionistic Logic for Pragmatics.Gianluigi Bellin, Massimiliano Carrara & Daniele Chiffi - 2018 - Journal of Logic and Computation 50 (28):935–966..details
|
|
On Friedman's problem in mathematical logic.Tadeusz Prucnal - 1978 - Bulletin of the Section of Logic 7 (3):137-140.details
|
|