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:
A Logical Framework for Graded Predicates Kapitel lesen Erstes Kapitel lesen

2017 | OriginalPaper | Buchkapitel

Topo-Logic as a Dynamic-Epistemic Logic

verfasst von : Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval

Erschienen in: Logic, Rationality, and Interaction

Verlag: Springer Berlin Heidelberg

Einloggen

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

search-config
loading …

Abstract

We extend the ‘topologic’ framework [13] with dynamic modalities for ‘topological public announcements’ in the style of Bjorndahl [5]. We give a complete axiomatization for this “Dynamic Topo-Logic”, which is in a sense simpler than the standard axioms of topologic. Our completeness proof is also more direct (making use of a standard canonical model construction). Moreover, we study the relations between this extension and other known logical formalisms, showing in particular that it is co-expressive with the simpler (and older) logic of interior and global modality [1, 4, 10, 14]. This immediately provides an easy decidability proof (both for topologic and for our extension).

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 On Subtler Belief Revision Policies
Nächstes Kapitel Strategic Knowledge of the Past in Quantum Cryptography
Fußnoten
1
Indeed, the original paper [2] on “classical” (non-topological) APAL modality contained a similar attempt of converting an infinitary rule into an finitary rule. That was later shown to be flawed: the finitary rule was not sound for the APAL modality (though it is sound for effort)!
 
2
For a general introduction to topology we refer to [7]. A topological space \((X, \tau )\) consists of a non-empty set X and a “topology” \(\tau \subseteq {\mathcal P}(X)\), i.e. a family of subsets of X (called open sets) such that \(X, \emptyset \in \tau ,\) and \(\tau \) is closed under finite intersections and arbitrary unions. The complements \(X\setminus U\) of open sets are called closed. The collection \(\tau \) is called a topology on X and elements of \(\tau \) are called open sets. An open set containing \(x\in X\) is called an open neighborhood of x. The interior \( Int ( A)\) of a set \(A\subseteq X\) is the largest open set contained in A, i.e., \( Int ( A)=\bigcup \{U\in \tau \ | \ U\subseteq A\}\), while the closure \( cl ( A)\) is the smallest closed set containing A. A family \(\mathcal {B}\subseteq \tau \) is called a basis for a topological space \((X,\tau )\) if every non-empty element of \(\tau \) can be written as a union of elements of \(\mathcal {B}\).
 
3
We prefer to talk about “updates”, rather than public announcements, since our setting is single-agent: there is no “publicity” involved. The agent simply learns \(\varphi \) (and implicitly also learns that \(\varphi \) was learnable).
 
4
In fact, the modality \( int \) can be defined in terms of the public announcement modality as \( int ( \varphi ):=\lnot [\varphi ] \bot \), thus, the language \(\mathcal {L}_{!K int }\) and its fragment \(\mathcal {L}_{!K}\) without the modality \( int \) are also co-expressive.
 
5
Although Bjorndahl’s formulations of (R\(_!\)) and (R\(_{ int }\)) are unnecessarily complicated: the first is stated as \([\varphi ][\psi ]\chi \leftrightarrow [ int (\varphi ) \wedge [\varphi ] int (\psi ) ]\chi \), while the second as \([\varphi ] int (\psi ) \leftrightarrow \left( int (\varphi ) \rightarrow int ([\varphi ]\psi ) \right) \). It is easy to see that these are equivalent to our simpler formulations, given the other axioms.
 
6
Indeed, this is because the satisfaction relation for epistemic scenarios in any pseudo-model that happens to be a topo-model agrees with the topo-model satisfaction relation.
 
Literatur
1.
Aiello, M.: Theory and practice. Ph.D. thesis, ILLC, Univerisity of Amsterdam (2002)
2.
Balbiani, P., Baltag, A., van Ditmarsch, H., Herzig, A., Hoshi, T., Lima, T.D.: ‘Knowable’ as ‘Known after an announcement’. Rew. Symb. Logic 1, 305–334 (2008)MathSciNetCrossRefMATH
3.
Baltag, A.: To know is to know the value of a variable. In: Proceedings of the 11th Advances in Modal Logic, pp. 135–155 (2016)
4.
5.
Bjorndahl, A.: Topological subset space models for public announcements. In: Trends in Logic, Outstanding Contributions: Jaakko Hintikka (2016, to appear)
6.
Dabrowski, A., Moss, L.S., Parikh, R.: Topological reasoning and the logic of knowledge. Ann. Pure Appl. Logic 78, 73–110 (1996)MathSciNetCrossRefMATH
7.
Engelking, R.: General Topology, vol. 6, 2nd edn. Heldermann Verlag, Berlin (1989)MATH
8.
Georgatos, K.: Modal logics for topological spaces. Ph.D. thesis, City University of New York (1993)
9.
Georgatos, K.: Knowledge theoretic properties of topological spaces. In: Masuch, M., Pólos, L. (eds.) Logic at Work 1992. LNCS, vol. 808, pp. 147–159. Springer, Heidelberg (1994). doi:10.​1007/​3-540-58095-6_​11 CrossRef
10.
11.
Kelly, K.T.: The Logic of Reliable Inquiry. Oxford University Press, Oxford (1996)MATH
12.
McKinsey, J.C.C., Tarski, A.: The algebra of topology. Ann. Math. 2(45), 141–191 (1944)CrossRefMATH
13.
Moss, L.S., Parikh, R.: Topological reasoning and the logic of knowledge. In: Proceedings of the 4th TARK, pp. 95–105. Morgan Kaufmann (1992)
14.
15.
Ditmarsch, H., Knight, S., Özgün, A.: Arbitrary announcements on topological subset spaces. In: Bulling, N. (ed.) EUMAS 2014. LNCS (LNAI), vol. 8953, pp. 252–266. Springer, Cham (2015). doi:10.​1007/​978-3-319-17130-2_​17
16.
Vickers, S.: Topology via Logic. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (1989)MATH
Metadaten
Titel
Topo-Logic as a Dynamic-Epistemic Logic
verfasst von
Alexandru Baltag
Aybüke Özgün
Ana Lucia Vargas Sandoval
Copyright-Jahr
2017
Verlag
Springer Berlin Heidelberg
Buch
Logic, Rationality, and Interaction

Print ISBN: 978-3-662-55664-1

Electronic ISBN: 978-3-662-55665-8

Copyright-Jahr: 2017

DOI
https://doi.org/10.1007/978-3-662-55665-8_23