- Modalité et changement: δύναμις et cinétique aristotélicienne.Marion Florian - 2023 - Dissertation, Université Catholique de Louvaindetails
|
|
Intuitionistic logic versus paraconsistent logic. Categorical approach.Mariusz Kajetan Stopa - 2023 - Dissertation, Jagiellonian Universitydetails
|
|
On elementary equivalence in fuzzy predicate logics.Pilar Dellunde & Francesc Esteva - 2013 - Archive for Mathematical Logic 52 (1-2):1-17.details
|
|
Key notions of Tarski's methodology of deductive systems.Janusz Czelakowski & Grzegorz Malinowski - 1985 - Studia Logica 44 (4):321 - 351.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
|
|
The Notion of Logical Consequence in the Logic of Inexact Predicates.John P. Cleave - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (19-22):307-324.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
|
|
Modal companions of intermediate propositional logics.Alexander Chagrov & Michael Zakharyashchev - 1992 - Studia Logica 51 (1):49 - 82.details
|
|
Pre-BZ and Degenerate BZ Posets: Applications to Fuzzy Sets and Unsharp Quantum Theories. [REVIEW]G. Cattaneo, R. Giuntini & S. Pulmannovà - 2000 - Foundations of Physics 30 (10):1765-1799.details
|
|
A content semantics for quantified relevant logics. I.Ross T. Brady - 1988 - Studia Logica 47 (2):111 - 127.details
|
|
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
|
|