M.I. Golovanov
2 artykuły w 1 czasopismach
-
Bimodal propositional logic S52Cn Opublikowano w: Bulletin of the Section of Logic 1997 / Tom 26 / Numer 3 / s. 118 - 1251997CZYSTY TEKST
M.I. Golovanov, Bimodal propositional logic S52Cn, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 3, s. 118 - 125
BIBTEX@Article{ authors = " M.I. Golovanov", title = "Bimodal propositional logic S52Cn", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 3", pages = "118 - 125" }
-
A Necessary Condition for Rules to be Admissible in Temporal Tomorrow-Logic Opublikowano w: Bulletin of the Section of Logic 2003 / Tom 32 / Numer 4 / s. 213 - 2202003CZYSTY TEKST
M.I. Golovanov, Vladimir V. Rybakov, E.M. Yurasova, A Necessary Condition for Rules to be Admissible in Temporal Tomorrow-Logic, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 4, s. 213 - 220
BIBTEX@Article{ authors = " M.I. Golovanov, Vladimir V. Rybakov, E.M. Yurasova", title = "A Necessary Condition for Rules to be Admissible in Temporal Tomorrow-Logic", journal = "Bulletin of the Section of Logic", issue = "2003 / Tom 32 / Numer 4", pages = "213 - 220" }
