Items where Author is "Rybakov, Vladimir V."

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

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.

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) 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) 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) 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. (2008) Decidability: theorems and admissible rules. Journal of Applied Non-Classical Logics, 18 (2-3). pp. 293-308. ISSN 1958-5780

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.

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) 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. (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. (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) Logical consecutions in discrete linear temporal logic. The journal of symbolic logic, 70 (4). pp. 1137-1149. ISSN 1943-5886

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

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

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)

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