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

Up a level |

**30**.

## Article

Babenyshev, Sergey and Rybakov, Vladimir V.
(2010)
**Logics of Kripke meta-models.**
Logic Journal of IGPL, 18 (6).
pp. 823-836.
ISSN 1368-9894

Rybakov, Vladimir V.
(2010)
**Modelling of chance discovery in variations of linear temporal logic implementing agents' interaction.**
International Journal of Advanced Intelligence Paradigms, 2 (2-3).
pp. 198-219.
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

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

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

Rybakov, Vladimir V.
(2008)
**Discrete linear temporal logic with current time point clusters, deciding algorithms.**
Logic and Logical Philosophy, 17 (1-2).
pp. 143-161.
ISSN 1425-3305

Rybakov, Vladimir V.
(2008)
**Decidability: theorems and admissible rules.**
Journal of Applied Non-Classical Logics, 18 (2-3).
pp. 293-308.
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.**
Fundamenta Informaticae, 81 (1-3).
pp. 297-313.
ISSN 1875-8681

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.
(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., 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

Babenyshev, Sergey and Rybakov, Vladimir V.
(2009)
**Describing evolutions of multi-agent systems.**
In: 13th International Conference, KES 2009, 28th September 2009 - 30th September 2009, Santiago, Chile.

Babenyshev, Sergey and Rybakov, Vladimir V.
(2009)
**Temporal logic for modeling discovery and logical uncertainty.**
In: 13th International Conference, KES 2009, 28th September 2009 - 30th September 2009, Santiago, Chile.

Babenyshev, Sergey and Rybakov, Vladimir V.
(2008)
**Logic of discovery and knowledge: decision algorithm.**
In: 12th International Conference, KES 2008, 3rd September 2008 - 5th September 2008, Zagreb, Croatia.

Babenyshev, Sergey and Rybakov, Vladimir V.
(2008)
**Logic of plausibility for discovery in multi-agent environment deciding algorithms.**
In: 12th International Conference, KES 2008, 3rd September 2008 - 5th September 2008, Zagreb, Croatia.

Rybakov, Vladimir V.
(2008)
**Multi-agent logics with interacting agents based on linear temporal logic: deciding algorithms.**
In: 9th International Conference ICAISC 2008, 22nd June 2008 - 26th June 2008, Zakopane, Poland.

Babenyshev, Sergey and Rybakov, Vladimir V.
(2008)
**Decidability of hybrid logic with local common knowledge based on linear temporal logic LTL.**
In: 4th Conference on Computability in Europe, CiE 2008, 15th June 2008 - 20th June 2008, Athens, Greece.

Rybakov, Vladimir V.
(2007)
**Logic of discovery in uncertain situations – deciding algorithms.**
In: 11th International Conference, KES 2007, 12th September 2007 - 14th September 2007, Vietri sul Mare, Italy.

Rybakov, Vladimir V.
(2007)
**Until-since temporal logic based on parallel time with common past. Deciding algorithms.**
In: International Symposium on Logical Foundations of Computer Science 2007, 4th June 2007 - 7th June 2007, New York, NY, USA.

Rybakov, Vladimir V.
(2006)
**Linear temporal logic with until and before on integer numbers, deciding algorithms.**
In: First International Symposium on Computer Science in Russia (CSR 2006), 8th June 2006 - 12th June 2006, St. Petersburg, Russia.

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)