Vladimir V. Rybakov
11 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Combining Time and Knowledge, Semantic Approach Opublikowano w: Bulletin of the Section of Logic 2005 / Tom 34 / Numer 1 / s. 13 - 21ROK: 2005CZYSTY TEKSTBIBTEX
-
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 - 40ROK: 1995CZYSTY TEKSTBIBTEX
-
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 - 99ROK: 2005CZYSTY TEKSTBIBTEX
-
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 - 144ROK: 1999CZYSTY TEKSTBIBTEX
-
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 - 158ROK: 1999CZYSTY TEKSTBIBTEX
-
Description of self-admissible quasi-characterizing inference rules Opublikowano w: Bulletin of the Section of Logic 1998 / Tom 27 / Numer 4 / s. 164 - 171ROK: 1998CZYSTY TEKSTBIBTEX
-
The structure of rigid frames of restricted depth Opublikowano w: Bulletin of the Section of Logic 1998 / Tom 27 / Numer 4 / s. 172 - 181ROK: 1998CZYSTY TEKSTBIBTEX
-
Faces of monotonicity and wisdom formulas problem Opublikowano w: Bulletin of the Section of Logic 2000 / Tom 29 / Numer 4 / s. 181 - 192ROK: 2000CZYSTY TEKSTBIBTEX
-
Unification in Common Knowledge Logics Opublikowano w: Bulletin of the Section of Logic 2002 / Tom 31 / Numer 4 / s. 207 - 215ROK: 2002CZYSTY TEKSTBIBTEX
-
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 - 220ROK: 2003CZYSTY TEKSTBIBTEX
-
A View of Logical Omniscience Problem Opublikowano w: Bulletin of the Section of Logic 2001 / Tom 30 / Numer 4 / s. 213 - 229ROK: 2001CZYSTY TEKSTBIBTEX
