Logics of similarity and their dual tableaux. A survey

&
In Giacomo Della Riccia, Didier Dubois & Hans-Joachim Lenz (eds.), Preferences and Similarities. Springer. pp. 129--159 (2008)
  Copy   BIBTEX

Abstract

We present several classes of logics for reasoning with information stored in information systems. The logics enable us to cope with the phenomena of incompleteness of information and uncertainty of knowledge derived from such an information. Relational inference systems for these logics are developed in the style of dual tableaux.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

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

Relational dual tableaux for interval temporal logics.David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):251–277.
Dual Tableaux: Foundations, Methodology, Case Studies.Ewa Orlowska & Joanna Golinska-Pilarek - 2011 - Springer.
Relational proof systems for spatial reasoning.Joanna Golińska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):409-431.
Kripke semantics for knowledge representation logics.Ewa Orłowska - 1990 - Studia Logica 49 (2):255 - 272.
Relational logics and their applications.Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments II: International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers. Springer. pp. 125--161.
Logics of Complementarity in Information Systems.Ivo Düntsch & Ewa Orłowska - 2000 - Mathematical Logic Quarterly 46 (2):267-288.
Tableaux and Interpolation for Propositional Justification Logics.Meghdad Ghari - 2024 - Notre Dame Journal of Formal Logic 65 (1):81-112.
Tableaux for essence and contingency.Giorgio Venturi & Pedro Teixeira Yago - 2021 - Logic Journal of the IGPL 29 (5):719-738.
Dual tableau-based decision procedures for relational logics with restricted composition operator.Domenico Cantone, Marianna Nicolosi Asmundo & Ewa Orlowska - 2011 - Journal of Applied Non-Classical Logics 21 (2):177-200.
Tableaux for logics of time and knowledge with interactions relating to synchrony.Clare Dixon, Cláudia Nalon & Michael Fisher - 2004 - Journal of Applied Non-Classical Logics 14 (4):397-445.

Analytics

Added to PP
2013-02-16

Downloads
27 (#142,020)

6 months
1 (#1,912,481)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Ewa Orlowska
Institute of Telecommunications and Information Technology
Joanna Golinska-Pilarek
University of Warsaw

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references