TYTUŁ

Bulletin of the Section of Logic Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680 None

LICZBA WOLUMINÓW 51

2002 / Tom 31 / Numer 2 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

λρ-Calculus: A Natural Deduction for Classical Logic

s. 65 - 70

Yuichi Komori

CZYSTY TEKST
Yuichi Komori, λρ-Calculus: A Natural Deduction for Classical Logic, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 2, s. 65 - 70

BIBTEX
@Article{ authors = " Yuichi Komori", title = "λρ-Calculus: A Natural Deduction for Classical Logic", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 2", pages = "65 - 70" }
On Some Games Played on Finite Graphs

s. 71 - 79

CZYSTY TEKST
On Some Games Played on Finite Graphs, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 2, s. 71 - 79

BIBTEX
@Article{ authors = "", title = "On Some Games Played on Finite Graphs", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 2", pages = "71 - 79" }
Constructing Counter-Models for Modal Logic K4 from Refutation Trees

s. 81 - 90

Motohiko Mouri

CZYSTY TEKST
Motohiko Mouri, Constructing Counter-Models for Modal Logic K4 from Refutation Trees, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 2, s. 81 - 90

BIBTEX
@Article{ authors = " Motohiko Mouri", title = "Constructing Counter-Models for Modal Logic K4 from Refutation Trees", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 2", pages = "81 - 90" }
On Sequent Systems for Bimodal Provability Logics MOS and PRL1

s. 91 - 101

Katsumi Sasaki

CZYSTY TEKST
Katsumi Sasaki, On Sequent Systems for Bimodal Provability Logics MOS and PRL1, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 2, s. 91 - 101

BIBTEX
@Article{ authors = " Katsumi Sasaki", title = "On Sequent Systems for Bimodal Provability Logics MOS and PRL1", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 2", pages = "91 - 101" }
Products of Infinitely Many Modal Logics

s. 103 - 110

Yasusi Hasimoto

CZYSTY TEKST
Yasusi Hasimoto, Products of Infinitely Many Modal Logics, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 2, s. 103 - 110

BIBTEX
@Article{ authors = " Yasusi Hasimoto", title = "Products of Infinitely Many Modal Logics", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 2", pages = "103 - 110" }
Kripke Incompleteness of Predicate Extentions of Gabbay-deJongh's Logic of the Finite binary trees

s. 111 - 118

Tatsuya Shimura

CZYSTY TEKST
Tatsuya Shimura, Kripke Incompleteness of Predicate Extentions of Gabbay-deJongh's Logic of the Finite binary trees, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 2, s. 111 - 118

BIBTEX
@Article{ authors = " Tatsuya Shimura", title = "Kripke Incompleteness of Predicate Extentions of Gabbay-deJongh's Logic of the Finite binary trees", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 2", pages = "111 - 118" }