Wyniki
-
Unitary Unification of S5 Modal Logic and its Extensions
Wojciech Dzik
Bulletin of the Section of Logic , 32 /1-2 (2003) s. 19-26 -
Transparent Unifiers in Modal Logics with Self-Conjugate Operators
Wojciech Dzik
Bulletin of the Section of Logic , 35 /2-3 (2006) s. 73-83 -
Remarks on Projective Unifiers
Wojciech Dzik
Bulletin of the Section of Logic , 40 /1-2 (2011) s. 37-46