Vladimir V. Rybakov
11 artykuły w 1 czasopismach
-
Combining Time and Knowledge, Semantic Approach Opublikowano w: Bulletin of the Section of Logic 2005 / Tom 34 / Numer 1 / s. 13 - 212005CZYSTY TEKST
E. Calarado, Vladimir V. Rybakov, Combining Time and Knowledge, Semantic Approach, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 1, s. 13 - 21
BIBTEX@Article{ authors = " E. Calarado, Vladimir V. Rybakov", title = "Combining Time and Knowledge, Semantic Approach", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 1", pages = "13 - 21" }
-
Even tabular modal logics sometimes do not have independent base for admissible rules Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 1 / s. 37 - 401995CZYSTY 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" }
-
A Note on Globally Admissible Inference Rules for Modal and Superintuitionistic Logics Opublikowano w: Bulletin of the Section of Logic 2005 / Tom 34 / Numer 2 / s. 93 - 992005CZYSTY TEKST
V.V. Rimatski, Vladimir V. Rybakov, A Note on Globally Admissible Inference Rules for Modal and Superintuitionistic Logics, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 2, s. 93 - 99
BIBTEX@Article{ authors = " V.V. Rimatski, Vladimir V. Rybakov", title = "A Note on Globally Admissible Inference Rules for Modal and Superintuitionistic Logics", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 2", pages = "93 - 99" }
-
An explicit basis for rules admissible in modal system S4 Opublikowano w: Bulletin of the Section of Logic 1999 / Tom 28 / Numer 3 / s. 135 - 1441999CZYSTY TEKST
Vladimir V. Rybakov, An explicit basis for rules admissible in modal system S4, Bulletin of the Section of Logic, 1999 / Tom 28 / Numer 3, s. 135 - 144
BIBTEX@Article{ authors = " Vladimir V. Rybakov", title = "An explicit basis for rules admissible in modal system S4", journal = "Bulletin of the Section of Logic", issue = "1999 / Tom 28 / Numer 3", pages = "135 - 144" }
-
An essay on unification and inference rules for modal logics Opublikowano w: Bulletin of the Section of Logic 1999 / Tom 28 / Numer 3 / s. 145 - 1581999CZYSTY TEKST
C. Gencer, Vladimir V. Rybakov, M. Terziler, An essay on unification and inference rules for modal logics, Bulletin of the Section of Logic, 1999 / Tom 28 / Numer 3, s. 145 - 158
BIBTEX@Article{ authors = " C. Gencer, Vladimir V. Rybakov, M. Terziler", title = "An essay on unification and inference rules for modal logics", journal = "Bulletin of the Section of Logic", issue = "1999 / Tom 28 / Numer 3", pages = "145 - 158" }
-
Description of self-admissible quasi-characterizing inference rules Opublikowano w: Bulletin of the Section of Logic 1998 / Tom 27 / Numer 4 / s. 164 - 1711998CZYSTY TEKST
C. Gencer, Vladimir V. Rybakov, M. Terziler, Description of self-admissible quasi-characterizing inference rules, Bulletin of the Section of Logic, 1998 / Tom 27 / Numer 4, s. 164 - 171
BIBTEX@Article{ authors = " C. Gencer, Vladimir V. Rybakov, M. Terziler", title = "Description of self-admissible quasi-characterizing inference rules", journal = "Bulletin of the Section of Logic", issue = "1998 / Tom 27 / Numer 4", pages = "164 - 171" }
-
The structure of rigid frames of restricted depth Opublikowano w: Bulletin of the Section of Logic 1998 / Tom 27 / Numer 4 / s. 172 - 1811998CZYSTY TEKST
Vladimir V. Rybakov, The structure of rigid frames of restricted depth, Bulletin of the Section of Logic, 1998 / Tom 27 / Numer 4, s. 172 - 181
BIBTEX@Article{ authors = " Vladimir V. Rybakov", title = "The structure of rigid frames of restricted depth", journal = "Bulletin of the Section of Logic", issue = "1998 / Tom 27 / Numer 4", pages = "172 - 181" }
-
Faces of monotonicity and wisdom formulas problem Opublikowano w: Bulletin of the Section of Logic 2000 / Tom 29 / Numer 4 / s. 181 - 1922000CZYSTY TEKST
B. Fedorishin, Vladimir V. Rybakov, Faces of monotonicity and wisdom formulas problem, Bulletin of the Section of Logic, 2000 / Tom 29 / Numer 4, s. 181 - 192
BIBTEX@Article{ authors = " B. Fedorishin, Vladimir V. Rybakov", title = "Faces of monotonicity and wisdom formulas problem", journal = "Bulletin of the Section of Logic", issue = "2000 / Tom 29 / Numer 4", pages = "181 - 192" }
-
Unification in Common Knowledge Logics Opublikowano w: Bulletin of the Section of Logic 2002 / Tom 31 / Numer 4 / s. 207 - 2152002CZYSTY TEKST
Vladimir V. Rybakov, Unification in Common Knowledge Logics, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 4, s. 207 - 215
BIBTEX@Article{ authors = " Vladimir V. Rybakov", title = "Unification in Common Knowledge Logics", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 4", pages = "207 - 215" }
-
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" }
-
A View of Logical Omniscience Problem Opublikowano w: Bulletin of the Section of Logic 2001 / Tom 30 / Numer 4 / s. 213 - 2292001CZYSTY TEKST
Vladimir V. Rybakov, A View of Logical Omniscience Problem, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 4, s. 213 - 229
BIBTEX@Article{ authors = " Vladimir V. Rybakov", title = "A View of Logical Omniscience Problem", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 4", pages = "213 - 229" }
