Propositional dynamic logic with recursive programs

Tinko Tinchev; Dimiter Vakarelov

Banach Center Publications (1988)

  • Volume: 21, Issue: 1, page 419-426
  • ISSN: 0137-6934

How to cite

top

Tinko Tinchev, and Dimiter Vakarelov. "Propositional dynamic logic with recursive programs." Banach Center Publications 21.1 (1988): 419-426. <http://eudml.org/doc/267839>.

@article{TinkoTinchev1988,
author = {Tinko Tinchev, Dimiter Vakarelov},
journal = {Banach Center Publications},
keywords = {generalization of PDL; dynamic algebras; recursion operator on programs; infinitary axiomatization; completeness; fixed-point semantics},
language = {eng},
number = {1},
pages = {419-426},
title = {Propositional dynamic logic with recursive programs},
url = {http://eudml.org/doc/267839},
volume = {21},
year = {1988},
}

TY - JOUR
AU - Tinko Tinchev
AU - Dimiter Vakarelov
TI - Propositional dynamic logic with recursive programs
JO - Banach Center Publications
PY - 1988
VL - 21
IS - 1
SP - 419
EP - 426
LA - eng
KW - generalization of PDL; dynamic algebras; recursion operator on programs; infinitary axiomatization; completeness; fixed-point semantics
UR - http://eudml.org/doc/267839
ER -

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.