Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Compounds or Phrases? Pattern Borrowing from English into Georgian Kapitel lesen Erstes Kapitel lesen

2019 | OriginalPaper | Buchkapitel

An Axiomatization of the d-logic of Planar Polygons

verfasst von : David Gabelaia, Kristina Gogoladze, Mamuka Jibladze, Evgeny Kuznetsov, Levan Uridia

Erschienen in: Language, Logic, and Computation

Verlag: Springer Berlin Heidelberg

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

We introduce the modal logic of planar polygonal subsets of the plane, with the modality interpreted as the Cantor-Bendixson derivative operator. We prove the finite model property of this logic and provide a finite axiomatization for it.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel The Athlete Tore a Muscle: English Locative Subjects in the Extra Argument Construction
Nächstes Kapitel An Ehrenfeucht-Fraïssé Game for Inquisitive First-Order Logic
Fußnoten
1
We introduce this terminology extending the terminology of [6] where reduction means taking a p-morphic image and subreduction means taking a p-morphic image of a subframe of the frame. Thus, up-reductions are special cases of subreduction, where the subframe under question is an up-set.
 
Literatur
1.
Aiello, M., van Benthem, J., Bezhanishvili, G.: Reasoning about space: the modal way. J. Log. Comput. 13, 889–920 (2003)MathSciNetCrossRef
2.
3.
Bezhanishvili, G., Esakia, L., Gabelaia, D.: Some results on modal axiomatization and definability for topological spaces. Stud. Logica 81, 325–355 (2005)MathSciNetCrossRef
4.
Bezhanishvili, N., Marra, V., McNeill, D., Pedrini, A.: Tarski’s theorem on intuitionistic logic, for polyhedra. Ann. Pure Appl. Logic 169, 373–391 (2017)MathSciNetCrossRef
5.
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)CrossRef
6.
Chagrov, A., Zakharyaschev, M.: Modal Logic. Oxford University Press, Oxford (1997)MATH
7.
Engelking, R.: General Topology. Polish Scientific Publishers, Warszawa (1977)MATH
8.
9.
Kontchakov, R., Pratt-Hartmann, I., Zakharyaschev, M.: Interpreting topological logics over euclidean spaces. In: Proceedings of Twelfth International Conference on the Principles of Knowledge Representation and Reasoning, pp. 534–544. AAAI Press (2010)
10.
Kontchakov, R., Pratt-Hartmann, I., Zakharyaschev, M.: Spatial reasoning with RCC8 and connectedness constraints in euclidean spaces. Artif. Intell. 217, 43–75 (2014)CrossRef
Metadaten
Titel
An Axiomatization of the d-logic of Planar Polygons
verfasst von
David Gabelaia
Kristina Gogoladze
Mamuka Jibladze
Evgeny Kuznetsov
Levan Uridia
Copyright-Jahr
2019
Verlag
Springer Berlin Heidelberg
Buch
Language, Logic, and Computation

Print ISBN: 978-3-662-59564-0

Electronic ISBN: 978-3-662-59565-7

Copyright-Jahr: 2019

DOI
https://doi.org/10.1007/978-3-662-59565-7_8