TYTUŁ
Bulletin of the Section of Logic
2001 / Tom 30 / Numer 4
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
Decidability of Modal Logics S4+αN, S4+ξN+1 w.r.t. Admissible Inference Ruless. 181 - 189CZYSTY TEKSTBIBTEX
-
A Concise Axiomatization of RM->s. 191 - 195CZYSTY TEKSTBIBTEX
-
Remarks on Synthetic Tableaux for Classical Propositional Calculuss. 195 - 205CZYSTY TEKSTBIBTEX
-
Sum-representations of Finite Latticess. 205 - 212CZYSTY TEKSTBIBTEX
-
A View of Logical Omniscience Problems. 213 - 229CZYSTY TEKSTBIBTEX
