Decision procedures for some strong hybrid logics

Logic and Logical Philosophy, Tom 22, Numer 4 (2013) s. 389-409
Andrzej Indrzejczak, Michał Zawidzki

 

do góry