The following pages link to Vladimir Vladimirovich Rybakov (Q1669761):
Displayed 48 items.
- Intermediate logics preserving admissible inference rules of heyting calculus (Q4304123) (← links)
- (Q4376076) (← links)
- (Q4394919) (← links)
- (Q4406631) (← links)
- (Q4438101) (← links)
- (Q4438124) (← links)
- (Q4443199) (← links)
- Unification and Passive Inference Rules for Modal Logics (Q4443406) (← links)
- (Q4474863) (← links)
- (Q4487248) (← links)
- (Q4489066) (← links)
- (Q4489067) (← links)
- (Q4501160) (← links)
- (Q4517271) (← links)
- (Q4526732) (← links)
- (Q4526733) (← links)
- (Q4530732) (← links)
- Tabular Logics with no Finite Bases for Inference Rules (Q4659578) (← links)
- On Finite Model Property for Admissible Rules (Q4704656) (← links)
- ADMISSIBILITY OF RULES OF INFERENCE, AND LOGICAL EQUATIONS, IN MODAL LOGICS AXIOMATIZING PROVABILITY (Q4712747) (← links)
- (Q4724632) (← links)
- BASES OF ADMISSIBLE RULES OF THE MODAL SYSTEM $ \mathrm{Grz}$ AND OF INTUITIONISTIC LOGIC (Q4726223) (← links)
- (Q4744318) (← links)
- (Q4812329) (← links)
- (Q4834483) (← links)
- Hereditarily structurally complete modal logics (Q4836055) (← links)
- (Q4875137) (← links)
- Writing out unifiers for formulas with coefficients in intuitionistic logic (Q4925166) (← links)
- Unifiers in transitive modal logics for formulas with coefficients (meta-variables) (Q4925168) (← links)
- Description of modal logics inheriting admissible rules for S4 (Q4934059) (← links)
- (Q4966050) (← links)
- (Q4966515) (← links)
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge (Q5068380) (← links)
- Satisfiability in Boolean Logic (SAT problem) is polynomial? (Q5071401) (← links)
- Projective formulas and unification in linear temporal logic LTLU (Q5172145) (← links)
- Linear Temporal Logic with Non-transitive Time, Algorithms for Decidability and Verification of Admissibility (Q5214739) (← links)
- Intransitive Temporal Multi-agent’s Logic, Knowledge and Uncertainty, Plausibility (Q5283440) (← links)
- Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms (Q5434528) (← links)
- An Axiomatisation for the Multi-modal Logic of Knowledge and Linear Time LTK (Q5435114) (← links)
- (Q5445173) (← links)
- Logical consecutions in discrete linear temporal logic (Q5486245) (← links)
- Logic of Visibility, Perception, and Knowledge and Admissible Inference Rules (Q5693113) (← links)
- A Note on Computation MTs with Time in Instructions or with Tapes of Fixed Length (Q5859289) (← links)
- A Short Essay towards if P not equal NP (Q5859329) (← links)
- Dynamic temporal logical operations in multi-agent logics (Q6072992) (← links)
- Satisfiability problem in interval FP-logic (Q6115004) (← links)
- Formulas expressing totally nonstable truth values of formulas (Q6115007) (← links)
- Admissibility and unification in the modal logics related to S4.2 (Q6153443) (← links)