Opis

• Tytuł:
  A modal approach to dynamic ontology: modal mereotopology
• Twórca:
  Vakarelov, Dimiter
• Opis:
  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.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Data:
  2008.06.19
• Typ:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Język:
  angielski
• Źródło:
  Logic and Logical Philosophy; Vol. 17 No. 1-2 (2008); 163-183;
  Logic and Logical Philosophy; Tom 17 Nr 1-2 (2008); 163-183;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Wydawca:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relacja: https://apcz.umk.pl/LLP/article/view/LLP.2008.010/1307
• Temat i słowa kluczowe:
  ontology;
  dynamic ontology;
  mereology;
  mereotopology;
  modal logic;
  essential relations
• Identyfikator: https://apcz.umk.pl/LLP/article/view/LLP.2008.010
• Dostawca danych:
  Akademicka Platforma Czasopism
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  teksty