-
A Proof Theoretic Tool for First-Order Modal Logics. 93 - 110CZYSTY TEKST
Yehuda Schwartz, George Tourlakis, A Proof Theoretic Tool for First-Order Modal Logic, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 3-4, s. 93 - 110
BIBTEX@Article{ authors = " Yehuda Schwartz, George Tourlakis", title = "A Proof Theoretic Tool for First-Order Modal Logic", journal = "Bulletin of the Section of Logic", issue = "2013 / Tom 42 / Numer 3-4", pages = "93 - 110" }
-
Note on D-Completeness and Prelinearitys. 111 - 118CZYSTY TEKST
Karel Chvalovsky, Note on D-Completeness and Prelinearity, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 3-4, s. 111 - 118
BIBTEX@Article{ authors = " Karel Chvalovsky", title = "Note on D-Completeness and Prelinearity", journal = "Bulletin of the Section of Logic", issue = "2013 / Tom 42 / Numer 3-4", pages = "111 - 118" }
-
An Alternative Definition of F-Structures for the logic C1s. 119 - 134CZYSTY TEKST
Veronica Quiroga, An Alternative Definition of F-Structures for the logic C1, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 3-4, s. 119 - 134
BIBTEX@Article{ authors = " Veronica Quiroga", title = "An Alternative Definition of F-Structures for the logic C1", journal = "Bulletin of the Section of Logic", issue = "2013 / Tom 42 / Numer 3-4", pages = "119 - 134" }
-
Mereological Fusion as an Upper Bounds. 135 - 150CZYSTY TEKST
Rafał Gruszczyński, Mereological Fusion as an Upper Bound, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 3-4, s. 135 - 150
BIBTEX@Article{ authors = " Rafał Gruszczyński", title = "Mereological Fusion as an Upper Bound", journal = "Bulletin of the Section of Logic", issue = "2013 / Tom 42 / Numer 3-4", pages = "135 - 150" }
-
Bisimulation Reducts of First-Order Kripke Modelss. 151 - 160CZYSTY TEKST
Tomasz Połacik, Bisimulation Reducts of First-Order Kripke Models, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 3-4, s. 151 - 160
BIBTEX@Article{ authors = " Tomasz Połacik", title = "Bisimulation Reducts of First-Order Kripke Models", journal = "Bulletin of the Section of Logic", issue = "2013 / Tom 42 / Numer 3-4", pages = "151 - 160" }
-
A Note on Post-complete Extensions of a Logic of Values of A. Ivins. 161 - 168CZYSTY TEKST
Lidia Typańska, A Note on Post-complete Extensions of a Logic of Values of A. Ivin, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 3-4, s. 161 - 168
BIBTEX@Article{ authors = " Lidia Typańska", title = "A Note on Post-complete Extensions of a Logic of Values of A. Ivin", journal = "Bulletin of the Section of Logic", issue = "2013 / Tom 42 / Numer 3-4", pages = "161 - 168" }
-
Non-Adjunctive Discursive Logics. 169 - 182CZYSTY TEKST
Janusz Ciuciura, Non-Adjunctive Discursive Logic, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 3-4, s. 169 - 182
BIBTEX@Article{ authors = " Janusz Ciuciura", title = "Non-Adjunctive Discursive Logic", journal = "Bulletin of the Section of Logic", issue = "2013 / Tom 42 / Numer 3-4", pages = "169 - 182" }
-
Countable Frames for Bimodal Logics S5 ⊗ S5 and Grz.3⊗ Grzs. 183 - 198CZYSTY TEKST
Sławomir Kost, Countable Frames for Bimodal Logics S5 ⊗ S5 and Grz.3⊗ Grz, Bulletin of the Section of Logic, 2013 / Tom 42 / Numer 3-4, s. 183 - 198
BIBTEX@Article{ authors = " Sławomir Kost", title = "Countable Frames for Bimodal Logics S5 ⊗ S5 and Grz.3⊗ Grz", journal = "Bulletin of the Section of Logic", issue = "2013 / Tom 42 / Numer 3-4", pages = "183 - 198" }
