- Virtual modality. [REVIEW]William Boos - 2003 - Synthese 136 (3):435 - 491.details
|
|
The world, the flesh and the argument from design.William Boos - 1994 - Synthese 101 (1):15 - 52.details
|
|
The world, the flesh and the argument from design.William Boos - 1995 - Synthese 104 (2):15 - 52.details
|
|
Parfaits miroirs de l'univers'': A `virtual' interpretation of Leibnizian metaphysics.William Boos - 2003 - Synthese 136 (2):281 - 304.details
|
|
Parfaits Miroirs De L'univers'': A `Virtual' Interpretation of Leibnizian Metaphysics.William Boos - 2003 - Synthese 136 (2):281-304.details
|
|
Schönfinkel-type Operators for Classical Logic.Katalin Bimbó - 2010 - Studia Logica 95 (3):355-378.details
|
|
Varieties of monadic Heyting algebras. Part I.Guram Bezhanishvili - 1998 - Studia Logica 61 (3):367-402.details
|
|
Varieties of monadic Heyting algebras. Part III.Guram Bezhanishvili - 2000 - Studia Logica 64 (2):215-256.details
|
|
Tree-like constructions in topology and modal logic.G. Bezhanishvili, N. Bezhanishvili, J. Lucero-Bryan & J. Van Mill - 2020 - Archive for Mathematical Logic 60 (3):265-299.details
|
|
Completeness of S4 with respect to the real line: revisited.Guram Bezhanishvili & Mai Gehrke - 2004 - Annals of Pure and Applied Logic 131 (1-3):287-301.details
|
|
An algebraic approach to subframe logics. Intuitionistic case.Guram Bezhanishvili & Silvio Ghilardi - 2007 - Annals of Pure and Applied Logic 147 (1):84-100.details
|
|
An Algebraic Approach to Canonical Formulas: Intuitionistic Case.Guram Bezhanishvili - 2009 - Review of Symbolic Logic 2 (3):517.details
|
|
Polymodal Lattices and Polymodal Logic.John L. Bell - 1996 - Mathematical Logic Quarterly 42 (1):219-233.details
|
|
Hilbert's ɛ-operator and classical logic.J. L. Bell - 1993 - Journal of Philosophical Logic 22 (1):1 - 18.details
|
|
Topology and modality: The topological interpretation of first-order modal logic: Topology and modality.Steve Awodey - 2008 - Review of Symbolic Logic 1 (2):146-166.details
|
|
Equivalence in logic-based argumentation.Leila Amgoud, Philippe Besnard & Srdjan Vesic - 2014 - Journal of Applied Non-Classical Logics 24 (3):181-208.details
|
|
A Unification of Two Approaches to Vagueness: The Boolean Many-Valued Approach and the Modal-Precisificational Approach.Ken Akiba - 2017 - Journal of Philosophical Logic 46 (4):419-441.details
|
|
A ModalWalk Through Space.Marco Aiello & Johan van Benthem - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):319-363.details
|
|
On decidable consequence operators.Jaros?aw Achinger & Andrzej W. Jankowski - 1986 - Studia Logica 45 (4):415 - 424.details
|
|
Orthoimplication algebras.J. C. Abbott - 1976 - Studia Logica 35 (2):173 - 177.details
|
|
Some Remarks on Theorem Proving Systems and Mazurkiewicz Algorithms Associated with them.Anita Wasilewska - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (19-20):289-294.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
|
|
Castles Built on Clouds: Vague Identity and Vague Objects.Benjamin L. Curtis & Harold W. Noonan - 2014 - In Ken Akiba & Ali Abasnezhad (eds.), Vague Objects and Vague Identity: New Essays on Ontic Vagueness. Dordrecht, Netherland: Springer. pp. 305-326.details
|
|
Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.details
|
|
Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.details
|
|
Natural Deduction, Hybrid Systems and Modal Logics.Andrzej Indrzejczak - 2010 - Dordrecht, Netherland: Springer.details
|
|
Leo Esakia on Duality in Modal and Intuitionistic Logics.Guram Bezhanishvili (ed.) - 2014 - Dordrecht, Netherland: Springer.details
|
|
Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell.David DeVidi, Michael Hallett & Peter Clark (eds.) - 2011 - Dordrecht, Netherland: Springer.details
|
|
Hyperintensionality and Normativity.Federico L. G. Faroldi - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
Heyting Algebras: Duality Theory.Leo Esakia - 2019 - Cham, Switzerland: Springer Verlag.details
|
|
Tableaus for many-valued modal logic.Melvin Fitting - 1995 - Studia Logica 55 (1):63 - 87.details
|
|
Pseudo-Boolean valued prolog.Melvin Fitting - 1988 - Studia Logica 47 (2):85-91.details
|
|
The greatest extension of s4 into which intuitionistic logic is embeddable.Michael Zakharyaschev - 1997 - Studia Logica 59 (3):345-358.details
|
|
Proof of a conjecture of Roman Suszko.Stanislaw Zachorowski - 1975 - Studia Logica 34 (3):253 - 256.details
|
|
Irreflexive modality in the intuitionistic propositional logic and Novikov completeness.A. D. Yashin - 1999 - Journal of Philosophical Logic 28 (2):175-197.details
|
|
Matrix approach in methodology of sentential calculi.Ryszard Wójcicki - 1973 - Studia Logica 32 (1):7 - 39.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
|
|
Programs and logics.Anita Wasilewska - 1985 - Studia Logica 44 (2):125 - 137.details
|
|
Deterministic Algorithms, Simple Languages And One‐to‐One Gentzen Type Formalizations.Anita Wasilewska - 1986 - Mathematical Logic Quarterly 32 (10‐12):181-188.details
|
|
Deterministic Algorithms, Simple Languages And One‐to‐One Gentzen Type Formalizations.Anita Wasilewska - 1986 - Mathematical Logic Quarterly 32 (10-12):181-188.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
|
|
Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety.Dimiter Vakarelov - 1989 - Studia Logica 48 (4):565 - 575.details
|
|
Notes on N-lattices and constructive logic with strong negation.D. Vakarelov - 1977 - Studia Logica 36 (1-2):109-125.details
|
|
A duality between Pawlak's knowledge representation systems and bi-consequence systems.Dimiter Vakarelov - 1995 - Studia Logica 55 (1):205 - 228.details
|
|
Well‐Defined Fuzzy Sentential Logic.Esko Turunen - 1995 - Mathematical Logic Quarterly 41 (2):236-248.details
|
|
Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic.Paolo Torrini, John G. Stell & Brandon Bennett - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):495-525.details
|
|
Q-ultrafilters and normal ultrafilters in b-algebras.Bronis?aw Tembrowski - 1986 - Studia Logica 45 (2):167 - 179.details
|
|
Information functions with applications.Krzysztof Szymanek - 1990 - Studia Logica 49 (3):387 - 400.details
|
|