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.

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) Intransitive linear temporal logic based on integer numbers, decidability, admissible logical consecutions. [Conference or Workshop Item]

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) 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. 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

This list was generated on Sat Oct 16 04:08:05 2021 BST.