Logic and Logical Philosophy 17 (1-2):163-183 (2008)

Authors
Abstract
In this paper we show how modal logic can be applied in the axiomatizations of some dynamic ontologies. As an example we consider the case of mereotopology, which is an extension of mereology with some relations of topological nature like contact relation. We show that in the modal extension of mereotopology we may define some new mereological and mereotopological relations with dynamic nature like stable part-of and stable contact. In some sense such “stable” relations can be considered as approximations of the “essential relations” in the domain of mereotopology
Keywords essential relations  dynamic ontology  modal logic  ontology  mereology  mereotopology
Categories (categorize this paper)
DOI 10.12775/LLP.2008.010
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 54,385
Through your library

References found in this work BETA

Essence and Modality.Kit Fine - 1994 - Philosophical Perspectives 8:1-16.
Point, Line, and Surface, as Sets of Solids.Theodore de Laguna - 1922 - Journal of Philosophy 19 (17):449-461.
Point, Line, and Surface, as Sets of Solids.Theodore De Laguna - 1922 - Journal of Philosophy 19 (17):449 - 461.

Add more references

Citations of this work BETA

Dynamic Relational Mereotopology.Vladislav Nenchev - 2013 - Logic and Logical Philosophy 22 (3):295-325.

Add more citations

Similar books and articles

Dynamic Relational Mereotopology.Vladislav Nenchev - 2013 - Logic and Logical Philosophy 22 (3):295-325.
Mereotopological Connection.Anthony G. Cohn & Achille C. Varzi - 2003 - Journal of Philosophical Logic 32 (4):357-390.
Elementary Polyhedral Mereotopology.Ian Pratt-Hartmann & Dominik Schoop - 2002 - Journal of Philosophical Logic 31 (5):469-498.
An Equational Axiomatization of Dynamic Negation and Relational Composition.Marco Hollenberg - 1997 - Journal of Logic, Language and Information 6 (4):381-401.
A Modal Logic of Information.Krystyna Misiuna - 2012 - Logic and Logical Philosophy 21 (1):33-51.
The Dynamification of Modal Dependence Logic.Pietro Galliani - 2013 - Journal of Logic, Language and Information 22 (3):269-295.
A System of Dynamic Modal Logic.Maarten de Rijke - 1998 - Journal of Philosophical Logic 27 (2):109-142.
A System of Dynamic Modal Logic.Maarten de Rijke - 1998 - Journal of Philosophical Logic 27 (2):109 - 142.

Analytics

Added to PP index
2013-11-24

Total views
301 ( #25,356 of 2,362,027 )

Recent downloads (6 months)
1 ( #553,136 of 2,362,027 )

How can I increase my downloads?

Downloads

My notes