Reasoning on Relations, Modalities, and Sets

, &
In Michał Zawidzki & Joanna Golińska-Pilarek (eds.), Ewa Orłowska on Relational Methods in Logic and Computer Science. Cham, Switzerland: Springer Verlag. pp. 129-168 (2018)
  Copy   BIBTEX

Abstract

This survey discusses the interplay among unquantified relational logics, propositional modal logics, and set theories. To set up a common ground, cross-translation methods among languages commonly used to work with relations, modalities, and sets, are revisited. This paper also reports on many experiments aimed at providing automated support for reasoning based on the calculus of dyadic relations.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/978-3-319-97879-6_6

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Precovers, Modalities and Universal Closure Operators in a Topos.John L. Bell & Silvia Gebellato - 1996 - Mathematical Logic Quarterly 42 (1):289-299.
An environment for specifying properties of dyadic relations and reasoning about them II: relational presentation of non-classical logics.Andrea Formisano, Eugenio G. Omodeo & Ewa Orłowska - 2006 - In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments Ii. Springer. pp. 89--104.
A formalisation of the "step forward - step backward" reasoning.Piotr Lukowski - 2001 - Anales Del Seminario de Historia de la Filosofía 18:109.
Nested sets and base-rate neglect: Two types of reasoning?Wim De Neys - 2007 - Behavioral and Brain Sciences 30 (3):260-261.
A logical expression of reasoning.Arthur Buchsbaum, Tarcisio Pequeno & Marcelino Pequeno - 2007 - Synthese 154 (3):431 - 466.
Reasoning with Factors.Giovanni Sartor - 2005 - Argumentation 19 (4):417-432.
The axiom of elementary sets on the edge of Peircean expressibility.Andrea Formisano, Eugenio G. Omodeo & Alberto Policriti - 2005 - Journal of Symbolic Logic 70 (3):953-968.
The Axiom of Elementary Sets on the Edge of Peircean Expressibility.Andrea Formisano, Eugenio G. Omodeo & Alberto Policriti - 2005 - Journal of Symbolic Logic 70 (3):953 - 968.
Metaphysics of causation.John Bigelow & Robert Pargetter - 1990 - Erkenntnis 33 (1):89 - 119.
How to mix alethic, deontic, temporal, individual modalities.Patrice Bailhache - 1998 - Logica Trianguli 2:3-16.
Representing and reasoning over a taxonomy of part–whole relations.C. Maria Keet & Alessandro Artale - 2008 - Applied ontology 3 (1-2):91-110.
Meaning relations and modalities.Bas C. van Fraassen - 1969 - Noûs 3 (2):155-167.
Judging for Reasons: On Kant and the Modalities of Judgment.Jessica Leech - 2017 - In Andrew Stephenson & Anil Gomes (eds.), Kant and the Philosophy of Mind: Perception, Reason, and the Self. Oxford, United Kingdom: Oxford University Press.
Learning to reason: an introduction to logic, sets and relations.Nancy Rodgers - 2000 - New York: Wiley.
God, Modalities, and Conceptualism.Amy Karofsky - 2003 - Philosophy and Theology 15 (2):257-271.

Analytics

Added to PP
2019-01-28

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references