TYTUŁ
Bulletin of the Section of Logic 2013 / Tom 42 / Numer 3-4
2013 / Tom 42 / Numer 3-4
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
A Proof Theoretic Tool for First-Order Modal Logics. 93 - 110CZYSTY TEKSTBIBTEX
-
Note on D-Completeness and Prelinearitys. 111 - 118CZYSTY TEKSTBIBTEX
-
An Alternative Definition of F-Structures for the logic C1s. 119 - 134CZYSTY TEKSTBIBTEX
-
Mereological Fusion as an Upper Bounds. 135 - 150CZYSTY TEKSTBIBTEX
-
Bisimulation Reducts of First-Order Kripke Modelss. 151 - 160CZYSTY TEKSTBIBTEX
-
A Note on Post-complete Extensions of a Logic of Values of A. Ivins. 161 - 168CZYSTY TEKSTBIBTEX
-
Non-Adjunctive Discursive Logics. 169 - 182CZYSTY TEKSTBIBTEX
-
Countable Frames for Bimodal Logics S5 ⊗ S5 and Grz.3⊗ Grzs. 183 - 198CZYSTY TEKSTBIBTEX
