A Dynamic Logic for Every Season
This paper introduces a method to build dynamic logics with a graded semantics. The construction is parametrized by a structure to support both the spaces of truth and of the domain of computations. Possible instantiations of the method range from classical (assertional) dynamic logic to less common graded logics suitable to deal with programs whose transitional semantics exhibits fuzzy or weighted behaviour. This leads to the systematic derivation of program logics tailored to specific program classes.
KeywordsResiduated Lattice Label Transition System Dynamic Logic European Regional Development Fund Propositional Dynamic Logic
Unable to display preview. Download preview PDF.
- 5.Gottwald, S.: A Treatise on Many-Valued Logics. Studies in Logic and Computation, vol. 9. Research Studies Press (2001)Google Scholar
- 6.Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press (2000)Google Scholar
- 7.Kozen, D.: On action algebras. manuscript in: Logic and Flow of Information, Amsterdam (1991)Google Scholar
- 13.Platzer, A.: Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics. Springer (2010)Google Scholar
- 14.Platzer, A.: A complete axiomatization of quantified differential dynamic logic for distributed hybrid systems. Logical Methods in Computer Science 8(4) (2012)Google Scholar
- 16.van der Hoek, W.: On the semantics of graded modalities. Journal of Applied Non-Classical Logics 2(1) (1992)Google Scholar