Wyniki
-
Countable Frames for Bimodal Logics S5 ⊗ S5 and Grz.3⊗ Grz
Sławomir Kost
Bulletin of the Section of Logic , 42 /3-4 (2013) s. 183-198
Sławomir Kost
Bulletin of the Section of Logic
, 42
/3-4
(2013)
s. 183-198