Switch to: Citations

References in:

Definability and Computability for PRSPDL

&
In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 16-33 (2014)

Add references

You must login to add references.
  1. PDL with intersection of programs: a complete axiomatization.Philippe Balbiani & Dimiter Vakarelov - 2003 - Journal of Applied Non-Classical Logics 13 (3-4):231-276.
    One of the important extensions of PDL is PDL with intersection of programs. We devote this paper to its complete axiomatization.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations