The product of converse PDL and polymodal K

From Tetherless World Wiki

Jump to: navigation, search
 The product of converse PDL and polymodal K
Has publishing details  10(2):223-251, 2000
Has title  The product of converse PDL and polymodal K
Has where published  J. Log. Comput.
Has year  2000
Has author  Frank Wolter +
Has identifier  DBLP:journals/logcom/Wolter00 +
Categories  Journal Paper +

 

Enter the name of the page to start browsing from.
Retrieved from "http://tw.rpi.edu/wiki/Special:Browse"
Views
Personal tools