# Items where Author is "Rybakov, Vladimir V."

Up a level |

**30**.

## Article

Rybakov, Vladimir V.
(2010)
**Modelling of chance discovery in variations of linear temporal logic implementing agents' interaction.**
ISSN 1755-0394

Rybakov, Vladimir V.
(2009)
**Linear temporal logic LTLK extended by multi-agent logic Kn with interacting agents.**
Journal of logic and computation, 19 (6).
pp. 989-1017.
ISSN 1465-363X

Babenyshev, Sergey and Rybakov, Vladimir V.
(2009)
**Logics of Kripke meta-models.**
ISSN 1368-9894

Rybakov, Vladimir V.
(2009)
**Logic of knowledge and discovery via interacting agents – decision algorithm for true and satisfiable statements.**
Information sciences, 179 (11).
pp. 1608-1614.
ISSN 1872-6291

Babenyshev, Sergey and Rybakov, Vladimir V.
(2009)
**Describing evolutions of multi-agent systems.**
ISSN 1611-3349

Babenyshev, Sergey and Rybakov, Vladimir V.
(2009)
**Temporal logic for modeling discovery and logical uncertainty.**
ISSN 1611-3349

Rybakov, Vladimir V.
(2008)
**Branching time logics BTL, U,S , N,N −1(Z)α with operations until and since based on bundles of integer numbers, logical consecutions, deciding algorithms.**
Theory of computing systems, 43 (2).
pp. 254-271.
ISSN 1433-0490

Rybakov, Vladimir V.
(2008)
**Linear temporal logic with until and next, logical consecutions.**
Annals of pure and applied logic, 155 (1).
pp. 32-45.
ISSN 1873-2461

Rybakov, Vladimir V.
(2008)
**Multi-modal and temporal logics with universal formula—reduction of admissibility to validity and unification.**
Journal of logic and computation, 18 (4).
pp. 509-519.
ISSN 1465-363X

Babenyshev, Sergey and Rybakov, Vladimir V.
(2008)
**Decidability of hybrid logic with local common knowledge based on linear temporal logic LTL.**
ISSN 1611-3349

Rybakov, Vladimir V.
(2008)
**Discrete linear temporal logic with current time point clusters, deciding algorithms.**
ISSN 1425-3305

Babenyshev, Sergey and Rybakov, Vladimir V.
(2008)
**Logic of discovery and knowledge: decision algorithm.**
ISSN 1611-3349

Babenyshev, Sergey and Rybakov, Vladimir V.
(2008)
**Logic of plausibility for discovery in multi-agent environment deciding algorithms.**
ISSN 1611-3349

Rybakov, Vladimir V.
(2008)
**Multi-agent logics with interacting agents based on linear temporal logic: deciding algorithms.**
ISSN 1611-3349

Rybakov, Vladimir V.
(2008)
**Temporal logic with interacting agents.**
ISSN 1958-5780

Calardo, Erica and Rybakov, Vladimir V.
(2007)
**An axiomatisation for the multi-modal logic of knowledge and linear time LTK.**
Logic journal of IGPL, 15 (3).
pp. 239-254.
ISSN 1368-9894

Rybakov, Vladimir V.
(2007)
**Decidability w.r.t. logical consecutions of linear temporal logic extended by since and previous.**
ISSN 1875-8681

Rybakov, Vladimir V.
(2007)
**Logic of discovery in uncertain situations – deciding algorithms.**
ISSN 1611-3349

Rybakov, Vladimir V.
(2007)
**Logics with the universal modality and admissible consecutions.**
Journal of applied non-classical logics, 17 (3).
pp. 383-396.
ISSN 1958-5780

Rybakov, Vladimir V.
(2007)
**Until-since temporal logic based on parallel time with common past. Deciding algorithms.**
ISSN 1611-3349

Rybakov, Vladimir V.
(2006)
**Linear temporal logic with until and before on integer numbers, deciding algorithms.**
ISSN 1611-3349

Rybakov, Vladimir V.
(2005)
**Logical consecutions in discrete linear temporal logic.**
The journal of symbolic logic, 70 (4).
pp. 1137-1149.
ISSN 1943-5886

Rybakov, Vladimir V.
(2005)
**Logical consecutions in intransitive temporal linear logic of finite intervals.**
Journal of logic and computation, 15 (5).
pp. 663-678.
ISSN 1465-363X

Golovanov, M. I. and Kosheleva, A. V. and Rybakov, Vladimir V.
(2005)
**Logic of visibility, perception, and knowledge and admissible inference rules.**
Logic journal of IGPL, 13 (2).
pp. 201-209.
ISSN 1368-9894

Calardo, Erica and Rybakov, Vladimir V.
(2005)
**Combining time and knowledge, semantic approach.**
Bulletin of the section of logic, 34 (1).
pp. 13-22.
ISSN 0138-0680

Rimatski, V. V. and Rybakov, Vladimir V.
(2005)
**A note on globally admissible inference rules for modal and superintuitionistic logics.**
Bulletin of the section of logic, 34 (2).
pp. 93-100.
ISSN 0138-0680

## Book Section

Rybakov, Vladimir V.
(2005)
**Inference in temporal next-time logic.**
In:
, We will show them! Essays in honour of Dov Gabbay, Volume Two, London: College Publications, pp.
College Publications.
ISBN 978-1904987123

## Conference or Workshop Item

Rybakov, Vladimir V.
(2006)
**Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions.**
[Conference or Workshop Item]

Rybakov, Vladimir V.
(2005)
**Admissible inference rules in temporal linear logics based at integer numbers.**
[Conference or Workshop Item]
(Unpublished)

Rybakov, Vladimir V.
(2005)
**Inference in discrete linear temporal logic.**
[Conference or Workshop Item]
(Unpublished)