Wyniki
-
Models of possibilism and trivialism
Luis Estrada-González
Logic and Logical Philosophy , 21 /2 (2012) s. 175-205 -
Proof theory of epistemic logic of programs
Paolo Maffezioli, Alberto Naibo
Logic and Logical Philosophy , 23 /3 (2014) s. 301-328 -
Minimal structures for modal tableaux: Some examples
Luis Fariñas del Cerro, Olivier Gasquet
Logic and Logical Philosophy 8 (2000) s. 99-114