2 citations · 3 across the 5 of their papers we have counts for
5 papers
Intransitive Linear Temporal Logic, Knowledge from Past, Decidability, Admissible Rules
Vladimir Rybakov
Our manuscript studies linear temporal (with UNTIL and NEXT) logic based at a conception of intransitive time. non-transitive time. In particular, we demonstrate how the notion of…
Linear Intransitive Temporal Logic of Knowledge LTK_r, Decision Algorithms, Inference Rules
Alexandra Lukyanchuk, Vladimir Rybakov
Our paper investigates the linear logic of knowledge and time LTK_r with reflexive intransitive time relation. The logic is defined semantically, -- as the set of formulas which ar…
Knowledge Representation in Agent's Logic with Uncertainty and Agent's Interaction
Maybin Muyeba, Vladimir Rybakov
This paper studies knowledge representation in multi-agent environment. We investigate technique for computation truth-values of statements based at a new temporal, agent's-knowled…
Linear Non-Transitive Temporal Logic, Knowledge Operations, Algorithms for Admissibility
Vladimir Rybakov
The paper studies problems of satisfiability, decidability and admissibility of inference rules, conceptions of knowledge and agent's knowledge in non-transitive temporal linear lo…
A Note on Parameterised Knowledge Operations in Temporal Logic
Vladimir Rybakov
We consider modeling the conception of knowledge in terms of temporal logic. The study of knowledge logical operations is originated around 1962 by representation of knowledge and…