Definability and Computability for PRSPDL

Philippe Balbiani, Tinko Tinchev. Definability and Computability for PRSPDL. In Rajeev Goré, Barteld P. Kooi, Agi Kurucz, editors, Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014. pages 16-33, College Publications, 2014. [doi]

Authors

Philippe Balbiani

This author has not been identified. Look up 'Philippe Balbiani' in Google

Tinko Tinchev

This author has not been identified. Look up 'Tinko Tinchev' in Google