- 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000.Carol Wood - 2001 - Bulletin of Symbolic Logic 7 (1):82-163.details
|
|
Tarski’s Influence on Computer Science.Solomon Feferman - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer- Birkhauser,. pp. 391-404.details
|
|
Topology, connectedness, and modal logic.Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter & Michael Zakharyaschev - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 151-176.details
|
|
Reading proofs with understanding.George Weaver - 1988 - Theoria 54 (1):31-47.details
|
|
Structuralism and representation theorems.George Weaver - 1998 - Philosophia Mathematica 6 (3):257-271.details
|
|
Complete axiomatizations for XPath fragments.Balder ten Cate, Tadeusz Litak & Maarten Marx - 2010 - Journal of Applied Logic 8 (2):153-172.details
|
|
Composing cardinal direction relations.Spiros Skiadopoulos & Manolis Koubarakis - 2004 - Artificial Intelligence 152 (2):143-171.details
|
|
Peirce, frege, the logic of relations, and church's theorem.Randall R. Dipert - 1984 - History and Philosophy of Logic 5 (1):49-66.details
|
|
Dynamic algebras: Examples, constructions, applications.Vaughan Pratt - 1991 - Studia Logica 50 (3-4):571 - 605.details
|
|
Congruences and ideals on Peirce algebras: a heterogeneous/homogeneous point of view.Sandra Marques Pinto & M. Teresa Oliveira-Martins - 2012 - Mathematical Logic Quarterly 58 (4-5):252-262.details
|
|
Congruences and ideals on Boolean modules: a heterogeneous point of view.Sandra Marques Pinto & M. Teresa Oliveira-Martins - 2011 - Mathematical Logic Quarterly 57 (6):571-581.details
|
|
Locative ontology. Parts I–III.Jerzy Perzanowski - 2003 - Logic and Logical Philosophy 1:7-94.details
|
|
Dynamic logic with program specifications and its relational proof system.Ewa Orlowska - 1993 - Journal of Applied Non-Classical Logics 3 (2):147-171.details
|
|
Epistemic logic: All knowledge is based on our experience, and epistemic logic is the cognitive representation of our experiential confrontation in reality.Dan Nesher - 2021 - Semiotica 2021 (238):153-179.details
|
|
Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.details
|
|
Podstawy logiki nazw.Adelina Morawiec - 1961 - Studia Logica 12 (1):145 - 170.details
|
|
Heyting Mereology as a Framework for Spatial Reasoning.Thomas Mormann - 2013 - Axiomathes 23 (1):137- 164.details
|
|
Augustus De Morgan and the Logic of Relations.Daniel D. Merrill - 1990 - Dordrecht, Netherland: Springer.details
|
|
A Coalgebraic Perspective on Logical Interpretations.M. A. Martins, A. Madeira & L. S. Barbosa - 2013 - Studia Logica 101 (4):783-825.details
|
|
The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.details
|
|
The origin of relation algebras in the development and axiomatization of the calculus of relations.Roger D. Maddux - 1991 - Studia Logica 50 (3-4):421 - 455.details
|
|
Relevance logic and the calculus of relations.Roger D. Maddux - 2010 - Review of Symbolic Logic 3 (1):41-70.details
|
|
Finite, integral, and finite-dimensional relation algebras: a brief history.Roger D. Maddux - 2004 - Annals of Pure and Applied Logic 127 (1-3):117-130.details
|
|
Finite, integral, and finite-dimensional relation algebras: a brief history.R. Roger Maddux - 2004 - Annals of Pure and Applied Logic 127 (1-3):117-130.details
|
|
A sequent calculus for relation algebras.Roger Maddux - 1983 - Annals of Pure and Applied Logic 25 (1):73-101.details
|
|
A modal-Hamiltonian interpretation of quantum mechanics.Olimpia Lombardi & Mario Castagnino - 2008 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 39 (2):380-443.details
|
|
A modal-Hamiltonian interpretation of quantum mechanics.Olimpia Lombardi & Mario Castagnino - 2008 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 39 (2):380-443.details
|
|
Reasoning about cardinal directions between extended objects.Weiming Liu, Xiaotong Zhang, Sanjiang Li & Mingsheng Ying - 2010 - Artificial Intelligence 174 (12-13):951-983.details
|
|
Composable Relations Induced in Networks of Aligned Ontologies: A Category Theoretic Approach.Seremeti Lambrini & Kameas Achilles - 2015 - Axiomathes 25 (3):285-311.details
|
|
Weakly associative relation algebras with projections.Agi Kurucz - 2009 - Mathematical Logic Quarterly 55 (2):138-153.details
|
|
Finite Relation Algebras.James Mathew Koussas - 2021 - Journal of Symbolic Logic:1-15.details
|
|
Restriction in Program Algebra.Marcel Jackson & Tim Stokes - 2023 - Logic Journal of the IGPL 31 (5):926-960.details
|
|
A new approach to cyclic ordering of 2D orientations using ternary relation algebras.Amar Isli & Anthony G. Cohn - 2000 - Artificial Intelligence 122 (1-2):137-187.details
|
|
An equational axiomatization of dynamic negation and relational composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.details
|
|
Undecidability of representability as binary relations.Robin Hirsch & Marcel Jackson - 2012 - Journal of Symbolic Logic 77 (4):1211-1244.details
|
|
Provability with finitely many variables.Robin Hirsch, Ian Hodkinson & Roger D. Maddux - 2002 - Bulletin of Symbolic Logic 8 (3):348-379.details
|
|
Relational proof systems for spatial reasoning.Joanna Golińska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):409-431.details
|
|
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics.Joanna Golińska-Pilarek, Taneli Huuskonen & Emilio Muñoz-Velasco - 2014 - Annals of Pure and Applied Logic 165 (2):409-427.details
|
|
Relational dual tableau decision procedure for modal logic K.Joanna Golińska-Pilarek, Emilio Muñoz-Velasco & Angel Mora-Bonilla - 2012 - Logic Journal of the IGPL 20 (4):747-756.details
|
|
Mathematical modal logic: A view of its evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.details
|
|
Groups and algebras of binary relations.Steven Givant & Hajnal Andréka - 2002 - Bulletin of Symbolic Logic 8 (1):38-64.details
|
|
On point-based temporal disjointness.Alfonso Gerevini & Lenhart Schubert - 1994 - Artificial Intelligence 70 (1-2):347-361.details
|
|
Incremental qualitative temporal reasoning: Algorithms for the Point Algebra and the ORD-Horn class.Alfonso Gerevini - 2005 - Artificial Intelligence 166 (1-2):37-80.details
|
|
Combining topological and size information for spatial reasoning.Alfonso Gerevini & Jochen Renz - 2002 - Artificial Intelligence 137 (1-2):1-42.details
|
|
Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure.Alfonso E. Gerevini & Alessandro Saetti - 2011 - Artificial Intelligence 175 (2):556-585.details
|
|
Computation of Aristotle's and gergonne's syllogisms.S. N. Furs - 1987 - Studia Logica 46 (3):209 - 225.details
|
|
Equational Reasoning in Non-Classical Logics.Marcelo Frias & Ewa Orlowska - 1998 - Journal of Applied Non-Classical Logics 8 (1-2):27-66.details
|
|
Entanglement and indistinguishability in a quantum ontology of properties.Sebastian Fortin & Olimpia Lombardi - 2022 - Studies in History and Philosophy of Science Part A 91 (C):234-243.details
|
|
Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5.Wojciech Dzik & Beniamin Wróbel - 2015 - Bulletin of the Section of Logic 44 (1/2):1-14.details
|
|
A proof system for contact relation algebras.Ivo Düntsch & Ewa Orłowska - 2000 - Journal of Philosophical Logic 29 (3):241-262.details
|
|