Extensions of modal logic S5 preserving NP-completeness

Bulletin of the Section of Logic, Tom 26, Numer 2 (1997) s. 73-84
Stephane Demri

 

do góry