The following pages link to Vladimir Vladimirovich Rybakov (Q1669761):
Displaying 50 items.
- Nontransitive temporal multiagent logic, information and knowledge, deciding algorithms (Q1694714) (← links)
- Properties of superintuitionistic propositional calculi (Q1814378) (← links)
- Completeness of modal logics with prefinite width (Q1835665) (← links)
- On admissibility of inference rules in the modal system \(G\) (Q1920037) (← links)
- Branching time logics with multiagent temporal accessibility relations (Q2030777) (← links)
- Multiagent temporal logics, unification problems, and admissibilities (Q2160194) (← links)
- Multi-agent logics with dynamic accessibly relations, projective unifiers (Q2165613) (← links)
- Multi-agent logics with multi-valuations and intensional logical operations (Q2207025) (← links)
- Multi-agent temporal nontransitive linear logics and the admissibility problem (Q2213922) (← links)
- Branching time agents logics, satisfiability problem by rules in reduced form (Q2331127) (← links)
- Inference rules in Nelson's logics, admissibility and weak admissibility (Q2342802) (← links)
- Non-unifiability in linear temporal logic of knowledge with multi-agent relations (Q2402133) (← links)
- Projective formulas and unification in linear discrete temporal multi-agent logics (Q2402145) (← links)
- Construction of an Explicit Basis for Rules Admissible in Modal System S4 (Q2765566) (← links)
- Non-transitive linear temporal logic and logical knowledge operations (Q2826032) (← links)
- Linear Temporal Logic LTL: Basis for Admissible Rules (Q3006112) (← links)
- (Q3012543) (← links)
- Inference Rules in Multi-agents’ Temporal Logics (Q3013073) (← links)
- (Q3032232) (← links)
- Logics of Kripke meta-models (Q3061276) (← links)
- Writing out Unifiers in Linear Temporal Logic (Q3165757) (← links)
- A Tableau Method for Checking Rule Admissibility in S4 (Q3185759) (← links)
- (Q3206927) (← links)
- (Q3352998) (← links)
- (Q3352999) (← links)
- Logical Consecutions in Intransitive Temporal Linear Logic of Finite Intervals (Q3374097) (← links)
- (Q3434497) (← links)
- Linear Temporal Logic with Until and Before on Integer Numbers, Deciding Algorithms (Q3434706) (← links)
- (Q3435231) (← links)
- (Q3435240) (← links)
- (Q3491519) (← links)
- Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL (Q3507416) (← links)
- Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification (Q3520233) (← links)
- Discrete linear temporal logic with current time point clusters, deciding algorithms (Q3534986) (← links)
- Decidability: theorems and admissible rules (Q3643317) (← links)
- (Q3647278) (← links)
- Linear Temporal Logic LTLK extended by Multi-Agent Logic Kn with Interacting Agents (Q3656763) (← links)
- (Q3727965) (← links)
- (Q3745885) (← links)
- DECIDABILITY OF ADMISSIBILITY IN THE MODAL SYSTEM Grz AND IN INTUITIONISTIC LOGIC (Q3762284) (← links)
- (Q3772177) (← links)
- (Q3950540) (← links)
- (Q3956913) (← links)
- CRITERIA FOR ADMISSIBILITY OF RULES OF INFERENCE WITH PARAMETERS IN THE INTUITIONISTIC PROPOSITIONAL CALCULUS (Q3970453) (← links)
- (Q3970454) (← links)
- (Q4026933) (← links)
- Rules of inference with parameters for intuitionistic logic (Q4032871) (← links)
- (Q4192037) (← links)
- Independent bases for rules admissible in pretabular logics (Q4237681) (← links)
- (Q4250064) (← links)
