- On modal logic with an intuitionistic base.Gisèle Fischer Servi - 1977 - Studia Logica 36:141.details
|
|
Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them.Anita Wasilewska - 1985 - Mathematical Logic Quarterly 31 (19‐20):289-294.details
|
|
On elementary equivalence in fuzzy predicate logics.Pilar Dellunde & Francesc Esteva - 2013 - Archive for Mathematical Logic 52 (1-2):1-17.details
|
|
The Notion of Logical Consequence in the Logic of Inexact Predicates.John P. Cleave - 1974 - Mathematical Logic Quarterly 20 (19‐22):307-324.details
|
|
A Henkin-style proof of completeness for first-order algebraizable logics.Petr Cintula & Carles Noguera - 2015 - Journal of Symbolic Logic 80 (1):341-358.details
|
|
A Modal Herbrand's Property.Marta Cialdea & Luis Fariñas del Cerro - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (31-34):523-530.details
|
|
The undecidability of the disjunction property of propositional logics and other related problems.Alexander Chagrov & Michael Zakharyaschev - 1993 - Journal of Symbolic Logic 58 (3):967-1002.details
|
|
Systematization of finite many-valued logics through the method of tableaux.Walter A. Carnielli - 1987 - Journal of Symbolic Logic 52 (2):473-493.details
|
|
An algebraic approach to intuitionistic connectives.Xavier Caicedo & Roberto Cignoli - 2001 - Journal of Symbolic Logic 66 (4):1620-1636.details
|
|
Alfred Tarski's work on general metamathematics.W. J. Blok & Don Pigozzi - 1988 - Journal of Symbolic Logic 53 (1):36-50.details
|
|
Topological completeness of logics above s4.Guram Bezhanishvili, David Gabelaia & Joel Lucero-Bryan - 2015 - Journal of Symbolic Logic 80 (2):520-566.details
|
|
Tychonoff hed-spaces and Zemanian extensions of s4.3.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2018 - Review of Symbolic Logic 11 (1):115-132.details
|
|
Modal logics of metric spaces.Guram Bezhanishvili, David Gabelaia & Joel Lucero-Bryan - 2015 - Review of Symbolic Logic 8 (1):178-191.details
|
|
Krull dimension in modal logic.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2017 - Journal of Symbolic Logic 82 (4):1356-1386.details
|
|
Polymodal Lattices and Polymodal Logic.John L. Bell - 1996 - Mathematical Logic Quarterly 42 (1):219-233.details
|
|
Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.details
|
|
Equivalence in logic-based argumentation.Leila Amgoud, Philippe Besnard & Srdjan Vesic - 2014 - Journal of Applied Non-Classical Logics 24 (3):181-208.details
|
|
Basic propositional logic and the weak excluded middle.Majid Alizadeh & Mohammad Ardeshir - 2019 - Logic Journal of the IGPL 27 (3):371-383.details
|
|
Orthoimplication algebras.J. C. Abbott - 1976 - Studia Logica 35 (2):173 - 177.details
|
|
Topological Completeness of First-Order Modal Logics.Steve Awodey & Kohei Kishida - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 1-17.details
|
|
The Semantics of Entailment.Richard Routley & Robert K. Meyer - 1973 - In Hugues Leblanc (ed.), Truth, Syntax, and Modality: Proceedings Of The Temple University Conference On Alternative Semantlcs. Amsterdam and London: North-Holland Publishing Company. pp. 199-243.details
|
|
Proof of a conjecture of Roman Suszko.Stanislaw Zachorowski - 1975 - Studia Logica 34 (3):253 - 256.details
|
|
Matrix approach in methodology of sentential calculi.Ryszard Wójcicki - 1973 - Studia Logica 32 (1):7 - 39.details
|
|
Note on deducibility and many-valuedness.Ryszard Wójcicki - 1974 - Journal of Symbolic Logic 39 (3):563-566.details
|
|
Basic Intuitionistic Conditional Logic.Yale Weiss - 2019 - Journal of Philosophical Logic 48 (3):447-469.details
|
|
A formalization of the modal propositional S4 calculus.Anita Wasilewska - 1971 - Studia Logica 27 (1):133-147.details
|
|
Some new results on PCL1 and its related systems.Toshiharu Waragai & Hitoshi Omori - 2010 - Logic and Logical Philosophy 19 (1-2):129-158.details
|
|
Probabilistic Semantics Objectified: I. Postulates and Logics.Bas C. Van Fraassen - 1981 - Journal of Philosophical Logic 10 (3):371-394.details
|
|
Logic in India—Editorial Introduction.R. Ramanujam, Rohit Parikh & Hans van Ditmarsch - 2011 - Journal of Philosophical Logic 40 (5):557-561.details
|
|
Notes on N-lattices and constructive logic with strong negation.D. Vakarelov - 1977 - Studia Logica 36 (1-2):109-125.details
|
|
Well‐Defined Fuzzy Sentential Logic.Esko Turunen - 1995 - Mathematical Logic Quarterly 41 (2):236-248.details
|
|
On the strong semantical completeness of the intuitionistic predicate calculus.Richmond H. Thomason - 1968 - Journal of Symbolic Logic 33 (1):1-7.details
|
|
A new look at the interpolation problem.Jacques Stern - 1975 - Journal of Symbolic Logic 40 (1):1-13.details
|
|
Some Quotient Lattices of the Medvedev Lattice.Andrea Sorbi - 1991 - Mathematical Logic Quarterly 37 (9‐12):167-182.details
|
|
Theological Underpinnings of the Modern Philosophy of Mathematics.Vladislav Shaposhnikov - 2016 - Studies in Logic, Grammar and Rhetoric 44 (1):147-168.details
|
|
Weakly Classical Theories of Identity.Joshua Schechter - 2011 - Review of Symbolic Logic 4 (4):607-644.details
|
|
Semantic Completeness of Free-Variable Theories.Daniel G. Schwartz - 1987 - Mathematical Logic Quarterly 33 (5):441-452.details
|
|
Juxtaposition: A New Way to Combine Logics.Joshua Schechter - 2011 - Review of Symbolic Logic 4 (4):560-606.details
|
|
An effective fixed-point theorem in intuitionistic diagonalizable algebras.Giovanni Sambin - 1976 - Studia Logica 35 (4):345 - 361.details
|
|
On Fuzzy Logic III. Semantical completeness of some many-valued propositional calculi.Jan Pavelka - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (25-29):447-464.details
|
|
Inclusive first-order logic.Roch Ouellet - 1981 - Studia Logica 40 (1):13 - 28.details
|
|
The Gentzen style axiomatization of 433-1433-1433-1logic.Ewa Orŀowska - 1976 - Studia Logica 35 (4):433-445.details
|
|
Treshold logic.Ewa Orłowska - 1974 - Studia Logica 33 (1):1 - 9.details
|
|
Threshold logic (II).Ewa Orŀowska - 1976 - Studia Logica 35 (3):243 - 247.details
|
|
A Neighbourhood Semantics for the Logic TK.Cezar A. Mortari & Hércules de Araújo Feitosa - 2011 - Principia: An International Journal of Epistemology 15 (2):287.details
|
|
Popper’s qualitative theory of verisimilitude.David Miller - 1974 - British Journal for the Philosophy of Science 25 (2):166-177.details
|
|
Fuzzy propositional logic. Algebraic approach.Slava Meskhi - 1977 - Studia Logica 36 (3):189 - 194.details
|
|
A consistent propositional logic without any finite models.C. G. McKay - 1985 - Journal of Symbolic Logic 50 (1):38-41.details
|
|
Complexity of interpolation and related problems in positive calculi.Larisa Maksimova - 2002 - Journal of Symbolic Logic 67 (1):397-408.details
|
|
On the autological character of diagonalizable algebras.Roberto Magari - 1976 - Studia Logica 35 (4):327 - 333.details
|
|