e-space
Manchester Metropolitan University's Research Repository

Items where Author is "Rybakov, Vladimir V."

Up a level
Export as [feed] Atom [feed] RSS
Group by: Item Type | No Grouping
Number of items: 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)

This list was generated on Sun Oct 20 03:49:20 2019 BST.