Skip to content

Definability and Computability for PRSPDL.

Philippe Balbiani, Tinko Tinchev

VenueBAiML
Year2014
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.