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:
Undecidability of Relation-Changing Modal Logics Kapitel lesen Erstes Kapitel lesen

2018 | OriginalPaper | Buchkapitel

Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork

verfasst von : Philippe Balbiani, Joseph Boudou

Erschienen in: Dynamic Logic. New Trends and Applications

Verlag: Springer International Publishing

Einloggen

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

search-config
loading …

Abstract

We devote this paper to the axiomatization and the computability of \(PDL^{\varDelta }_{0}\)—a variant of iteration-free PDL with fork.

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 Undecidability of Relation-Changing Modal Logics
Nächstes Kapitel A Dynamic Logic for Learning Theory
Literatur
1.
Balbiani, P.: Eliminating unorthodox derivation rules in an axiom system for iteration-free \(PDL\) with intersection. Fundam. Inf. 56, 211–242 (2003)MathSciNetMATH
2.
Balbiani, P., Boudou, J.: About the axiomatization and the computability of a variant of iteration-free \(PDL\) with fork. Institut de recherche en information de Toulouse (2017)
3.
Balbiani, P., Vakarelov, D.: Iteration-free \(PDL\) with intersection: a complete axiomatization. Fundam. Inf. 45, 173–194 (2001)MathSciNetMATH
4.
Balbiani, P., Vakarelov, D.: \(PDL\) with intersection of programs: a complete axiomatization. J. Appl. Non-Classical Logics 13, 231–276 (2003)CrossRefMATH
5.
Benevides, M., de Freitas, R., Viana, P.: Propositional dynamic logic with storing, recovering and parallel composition. Electron. Notes Theor. Comput. Sci. 269, 95–107 (2011)MathSciNetCrossRefMATH
6.
Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)CrossRefMATH
7.
8.
Dos̆en, K.: A brief survey of frames for the Lambek calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 38, 179–187 (1992)MathSciNetCrossRef
9.
10.
11.
Frias, M.: Fork Algebras in Algebra, Logic and Computer Science. World Scientific, River Edge (2002)CrossRefMATH
12.
Frias, M., Baum, G., Haeberer, A.: Fork algebras in algebra, logic and computer science. Fund. Inf. 32, 1–25 (1997)MathSciNetMATH
13.
Frias, M., Veloso, P., Baum, G.: Fork algebras: past, present and future. J. Relat. Methods Comput. Sci. 1, 181–216 (2004)
14.
Gargov, G., Passy, S.: A note on Boolean modal logic. In: Petkov, P. (ed.) Mathematical Logic, pp. 299–309. Plenum Press, New York (1990)CrossRef
15.
Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)MATH
16.
17.
Mikulás, S.: Complete calculus for conjugated arrow logic. In: Marx, M., Pólos, L., Masuch, M. (eds.) Arrow Logic and Multi-Modal Logic, pp. 125–139. CSLI, Stanford (1996)
18.
19.
Metadaten
Titel
Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork
verfasst von
Philippe Balbiani
Joseph Boudou
Copyright-Jahr
2018
Buch
Dynamic Logic. New Trends and Applications

Print ISBN: 978-3-319-73578-8

Electronic ISBN: 978-3-319-73579-5

Copyright-Jahr: 2018

DOI
https://doi.org/10.1007/978-3-319-73579-5_2