TYTUŁ

Bulletin of the Section of Logic Udostępnij

WYDAWCA Wydawnictwo Uniwersytetu Łódzkiego

ISSN 0138-0680 None

LICZBA WOLUMINÓW 51

1995 / Tom 24 / Numer 1 Wybierz inny

TYTUŁ ARTYKUŁU STRONY AUTORZY CZYNNOŚCI

Axiomatic considerations of Nash equilibrium

s. 6 - 12

Mamoru Kaneko

CZYSTY TEKST
Mamoru Kaneko, Axiomatic considerations of Nash equilibrium, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 1, s. 6 - 12

BIBTEX
@Article{ authors = " Mamoru Kaneko", title = "Axiomatic considerations of Nash equilibrium", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 1", pages = "6 - 12" }
From finite to infinite lambda calculi

s. 13 - 20

Richard Kennaway Jan-Willem Klop Ronan Sleep Fer-Jan de Vries

CZYSTY TEKST
Richard Kennaway, Jan-Willem Klop, Ronan Sleep, Fer-Jan de Vries, From finite to infinite lambda calculi, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 1, s. 13 - 20

BIBTEX
@Article{ authors = " Richard Kennaway, Jan-Willem Klop, Ronan Sleep, Fer-Jan de Vries", title = "From finite to infinite lambda calculi", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 1", pages = "13 - 20" }
On variable separation in modal logics

s. 21 - 25

Larisa Maksimowa

CZYSTY TEKST
Larisa Maksimowa, On variable separation in modal logics, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 1, s. 21 - 25

BIBTEX
@Article{ authors = " Larisa Maksimowa", title = "On variable separation in modal logics", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 1", pages = "21 - 25" }
The semantics of flang

s. 26 - 30

Andrei Mantsivoda

CZYSTY TEKST
Andrei Mantsivoda, The semantics of flang, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 1, s. 26 - 30

BIBTEX
@Article{ authors = " Andrei Mantsivoda", title = "The semantics of flang", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 1", pages = "26 - 30" }
Simple termination of rewrite systems

s. 31 - 36

Aart Middeldorp Hans Zantema

CZYSTY TEKST
Aart Middeldorp, Hans Zantema, Simple termination of rewrite systems, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 1, s. 31 - 36

BIBTEX
@Article{ authors = " Aart Middeldorp, Hans Zantema", title = "Simple termination of rewrite systems", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 1", pages = "31 - 36" }
Even tabular modal logics sometimes do not have independent base for admissible rules

s. 37 - 40

Vladimir V. Rybakov

CZYSTY TEKST
Vladimir V. Rybakov, Even tabular modal logics sometimes do not have independent base for admissible rules, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 1, s. 37 - 40

BIBTEX
@Article{ authors = " Vladimir V. Rybakov", title = "Even tabular modal logics sometimes do not have independent base for admissible rules", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 1", pages = "37 - 40" }
On completeness of intermediate predicate logics with respect to Kripke semantics

s. 41 - 45

Tatsuya Shimura

CZYSTY TEKST
Tatsuya Shimura, On completeness of intermediate predicate logics with respect to Kripke semantics, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 1, s. 41 - 45

BIBTEX
@Article{ authors = " Tatsuya Shimura", title = "On completeness of intermediate predicate logics with respect to Kripke semantics", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 1", pages = "41 - 45" }
Decidability of tense logics

s. 46 - 50

Frank Wolter

CZYSTY TEKST
Frank Wolter, Decidability of tense logics, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 1, s. 46 - 50

BIBTEX
@Article{ authors = " Frank Wolter", title = "Decidability of tense logics", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 1", pages = "46 - 50" }