1

Projective formulas and unification in linear temporal logic LTLU

E-Article
2

Unifiers in transitive modal logics for formulas with coefficients (meta-variables)

E-Article
3
4

Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents

E-Article
5

Discrete linear temporal logic with current time point clusters, deciding algorithms

by: Rybakov, V.
In: LLP (2008)
E-Article
6

Linear temporal logic with until and next, logical consecutions

E-Article
8
9

Tabular Logics with no Finite Bases for Inference Rules

E-Article
10

On the Issue of Terrorism, or Two Sides of the Same Coin

E-Article
11

Description of modal logics inheriting admissible rules for S4

E-Article
12

Independent bases for rules admissible in pretabular logics

E-Article
13

Dorogoj svobody: narody Azii i Afriki v borbe za nezavisimost', demokratiju i social'nyj progress

by: Zarodov, Konstantin I. (Editor); Rybakov, V. B. (Adapter)
Praga: Mir i socializm, 1973
Book
14
15

Multiagent Temporal Logics with Multivaluations

E-Article
16
17

Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms

E-Article
18

On the structure of luminol sodium salts

E-Article
19
20

Writing out unifiers for formulas with coefficients in intuitionistic logic

E-Article