Description logics for relative terminologies

In T. Icard & R. Muskens (eds.), Interfaces: Explorations in Logic, Language and Computation. Springer Berlin. pp. 124--141 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

An overview of tableau algorithms for description logics.Franz Baader & Ulrike Sattler - 2001 - Studia Logica 69 (1):5-40.
Logics of Relative Identity.Paweł Garbacz - 2002 - Notre Dame Journal of Formal Logic 43 (1):27-50.
A hierarchy of modal logics with relative accessibility relations.Philippe Balbiani & Ewa Orlowska - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):303-328.
Second-order reasoning in description logics.Andrzej Szalas - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):517-530.
Preferential Semantics for Plausible Subsumption in Possibility Theory.Guilin Qi & Zhizheng Zhang - 2013 - Minds and Machines 23 (1):47-75.
Why do we need to coordinate when classifying kin?Drew Gerkey & Lee Cronk - 2010 - Behavioral and Brain Sciences 33 (5):385-386.
A Correspondence between Temporal Description Logics.Alessandro Artale & Carsten Lutz - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):209-233.
Display calculi for logics with relative accessibility relations.Stéphane Demri & Rajeev Goré - 2000 - Journal of Logic, Language and Information 9 (2):213-236.
Evidence for the Deterministic or the Indeterministic Description? A Critique of the Literature About Classical Dynamical Systems.Charlotte Werndl - 2012 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 43 (2):295-312.
Unification and Passive Inference Rules for Modal Logics.V. V. Rybakov, M. Terziler & C. Gencer - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):369-377.
Review: Rolf Schock, On Finitely Many-Valued Logics; Rolf Schock, On Denumerably Many-Valued Logics; R. Schock, Some Theorems on the Relative Strengths of Many-Valued Logics. [REVIEW]Robert K. Meyer - 1970 - Journal of Symbolic Logic 35 (1):140-142.
Abstract modal logics.Ramon Jansana - 1995 - Studia Logica 55 (2):273 - 299.
From concepts to clinical reality: An essay on the benchmarking of biomedical terminologies.Barry Smith - 2006 - Journal of Biomedical Informatics 39 (3):288-298.

Analytics

Added to PP
2014-01-28

Downloads
27 (#554,860)

6 months
8 (#283,518)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Dynamic Epistemic Logic.Hans van Ditmarsch, and, Wiebe van der Hoek & Barteld Kooi - 2016 - Internet Encyclopedia of Philosophy.
Description Logic Handbook.Franz Baader (ed.) - 2003 - Cambridge University Press.

Add more references