- Modal Cognitivism and Modal Expressivism.Timothy Bowen - manuscriptdetails
|
|
Epistemic Modality and Hyperintensionality in Mathematics.Timothy Bowen - 2017 - Dissertation, Arché, University of St Andrewsdetails
|
|
Hyperintensional Ω-Logic.Timothy Bowen - 2019 - In Matteo Vincenzo D'Alfonso & Don Berkich (eds.), On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence. Springer Verlag. pp. 65-82.details
|
|
Truth theories, competence, and semantic computation.Peter Pagin - 2012 - In Gerhard Preyer (ed.), Donald Davidson on truth, meaning, and the mental. Oxford: Oxford University Press. pp. 49.details
|
|
Algebraic Logic, Where Does It Stand Today?Tarek Sayed Ahmed - 2005 - Bulletin of Symbolic Logic 11 (3):465-516.details
|
|
On the Complexity of Modal Axiomatisations over Many-dimensional Structures.Agi Kurucz - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 256-270.details
|
|
Forms of Luminosity.Hasen Khudairi - 2017details
|
|
Is there a nonrecursive decidable equational theory?Benjamin Wells - 2002 - Minds and Machines 12 (2):301-324.details
|
|
Structuralism and representation theorems.George Weaver - 1998 - Philosophia Mathematica 6 (3):257-271.details
|
|
On duality and model theory for polyadic spaces.Sam van Gool & Jérémie Marquès - 2024 - Annals of Pure and Applied Logic 175 (2):103388.details
|
|
Omitting Types in Fragments and Extensions of First Order Logic.Tarek Sayed Ahmed - 2021 - Bulletin of the Section of Logic 50 (3):249-287.details
|
|
Omitting types for algebraizable extensions of first order logic.Tarek Sayed Ahmed - 2005 - Journal of Applied Non-Classical Logics 15 (4):465-489.details
|
|
Neat embeddings as adjoint situations.Tarek Sayed-Ahmed - 2015 - Synthese 192 (7):1-37.details
|
|
Against Fregean Quantification.Bryan Pickel & Brian Rabern - 2023 - Ergo: An Open Access Journal of Philosophy 9 (37):971-1007.details
|
|
Algebraization of quantifier logics, an introductory overview.István Németi - 1991 - Studia Logica 50 (3-4):485 - 569.details
|
|
Undecidable properties of finite sets of equations.George F. McNulty - 1976 - Journal of Symbolic Logic 41 (3):589-604.details
|
|
Taming logic.Maarten Marx, Szabolcs Mikul & István Németi - 1995 - Journal of Logic, Language and Information 4 (3):207-226.details
|
|
The equational theory of CA 3 is undecidable.Roger Maddux - 1980 - Journal of Symbolic Logic 45 (2):311 - 316.details
|
|
Universal classes of Monadic Algebras.Th Lucas - 1976 - Mathematical Logic Quarterly 22 (1):35-44.details
|
|
On Generalization of Definitional Equivalence to Non-Disjoint Languages.Koen Lefever & Gergely Székely - 2019 - Journal of Philosophical Logic 48 (4):709-729.details
|
|
Zero-place operations and functional completeness, and the definition of new connectives.I. L. Humberstone - 1993 - History and Philosophy of Logic 14 (1):39-66.details
|
|
Step by step – Building representations in algebraic logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (1):225-279.details
|
|
Relation algebra reducts of cylindric algebras and an application to proof theory.Robin Hirsch, Ian Hodkinson & Roger D. Maddux - 2002 - Journal of Symbolic Logic 67 (1):197-213.details
|
|
Complete representations in algebraic logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (3):816-847.details
|
|
On the unusual effectiveness of logic in computer science.Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi & Victor Vianu - 2001 - Bulletin of Symbolic Logic 7 (2):213-236.details
|
|
Varieties of complex algebras.Robert Goldblatt - 1989 - Annals of Pure and Applied Logic 44 (3):173-242.details
|
|
Distances between formal theories.Michele Friend, Mohamed Khaled, Koen Lefever & Gergely Székely - unknown - Review of Symbolic Logic 13 (3):633-654.details
|
|
Probabilities defined on standard and non-standard cylindric set algebras.Miklós Ferenczi - 2015 - Synthese 192 (7):2025-2033.details
|
|
The cylindric algebras of three-valued logic.Norman Feldman - 1998 - Journal of Symbolic Logic 63 (4):1201-1217.details
|
|
On the predecessor relation in abstract algebras.Karl-Heinz Diener - 1993 - Mathematical Logic Quarterly 39 (1):492-514.details
|
|
On the transitive Hull of a κ‐narrow relation.Karl‐Heinz Diener & K.‐H. Diener - 1992 - Mathematical Logic Quarterly 38 (1):387-398.details
|
|
On the transitive Hull of a κ-narrow relation.Karl-Heinz Diener & K. -H. Diener - 1992 - Mathematical Logic Quarterly 38 (1):387-398.details
|
|
Algebraic structuralism.Neil Dewar - 2019 - Philosophical Studies 176 (7):1831-1854.details
|
|
Copeland algebras.Daniel B. Demaree - 1972 - Journal of Symbolic Logic 37 (4):646-656.details
|
|
Isomorphic but not lower base-isomorphic cylindric set algebras.B. Biró & S. Shelah - 1988 - Journal of Symbolic Logic 53 (3):846-853.details
|
|
Projective algebra and the calculus of relations.A. R. Bednarek & S. M. Ulam - 1978 - Journal of Symbolic Logic 43 (1):56-64.details
|
|
First order logic without equality on relativized semantics.Amitayu Banerjee & Mohamed Khaled - 2018 - Annals of Pure and Applied Logic 169 (11):1227-1242.details
|
|
A Simple Logic of Functional Dependence.Alexandru Baltag & Johan van Benthem - 2021 - Journal of Philosophical Logic 50 (5):939-1005.details
|
|
Modal Languages and Bounded Fragments of Predicate Logic.Hajnal Andréka, István Németi & Johan van Benthem - 1998 - Journal of Philosophical Logic 27 (3):217 - 274.details
|
|
Expressibility of properties of relations.Hajnal Andréka, Ivo Düntsch & István Németi - 1995 - Journal of Symbolic Logic 60 (3):970-991.details
|
|
On a theorem of Vaught for first order logic with finitely many variables.Tarek Sayed Ahmed - 2009 - Journal of Applied Non-Classical Logics 19 (1):97-112.details
|
|
Duality in Logic and Language.Lorenz Demey, and & Hans Smessaert - 2016 - Internet Encyclopedia of Philosophy.details
|
|
Modal Cognitivism and Modal Expressivism.Hasen Khudairi - manuscriptdetails
|
|
Modal Cognitivism and Modal Expressivism.Hasen Khudairi - manuscriptdetails
|
|
Cognitivism about Epistemic Modality.Hasen Khudairi - manuscriptdetails
|
|
On Generalization of Definitional Equivalence to Languages with Non-Disjoint Signatures.Koen Lefever & Gergely Székely - unknowndetails
|
|