The following pages link to Vladimir Vladimirovich Rybakov (Q1669761):
Displaying 50 items.
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) (Q385070) (← links)
- Admissible inference rules in the linear logic of knowledge and time \(\mathrm{LTK}_r\) with intransitive time relation (Q498234) (← links)
- A decidable noncompact extension of the logic S4 (Q599805) (← links)
- Rules admissible in transitive temporal logic \(\mathrm{T}_{\mathrm{S}4}\), sufficient condition (Q606997) (← links)
- (Q647402) (redirect page) (← links)
- Best unifiers in transitive modal logics (Q647403) (← links)
- The provability logic for \(\Sigma_ 1\)-interpolability (Q688429) (← links)
- (Q688858) (redirect page) (← links)
- On the complexity of arithmetical interpretations of modal formulae (Q688859) (← links)
- Unification in linear temporal logic LTL (Q716499) (← links)
- Characters and fixed points in provability logic (Q749521) (← links)
- Undecidable properties of extensions of the logic of provability (Q757339) (← links)
- Temporal logic with accessibility temporal relations generated by time states themselves (Q779153) (← links)
- Undecidable properties of extensions of provability logic. II (Q805607) (← links)
- Logical equations and admissible rules of inference with parameters in modal provability logics (Q805609) (← links)
- Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements (Q833736) (← links)
- Sergeĭ Il'ich Mardaev (6.04.1962--10.04.2013) (Q891064) (← links)
- Unification problem in Nelson's logic \(\mathbf{N4}\) (Q892014) (← links)
- An algebraic approach to intuitionistic modal logics in connection with intermediate predicate logics (Q910395) (← links)
- Syntax and semantics of superintuitionistic logics (Q920079) (← links)
- Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus (Q920971) (← links)
- Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms (Q929294) (← links)
- (Q947267) (redirect page) (← links)
- Linear temporal logic with until and next, logical consecutions (Q947268) (← links)
- Bases of quasiidentities of finite modal algebras (Q1050380) (← links)
- Decidability of the admissibility problem in layer-finite logics (Q1064315) (← links)
- Admissible rules for logics containing S4.3 (Q1068809) (← links)
- Elementary theories of free topo-Boolean and pseudo-Boolean algebras (Q1076014) (← links)
- A criterion for admissibility of rules in the modal system S4 and intuitionistic logic (Q1079558) (← links)
- Bases of admissible rules of the logics S4 and Int (Q1079559) (← links)
- Equations in free topoboolean algebra (Q1092029) (← links)
- On certain normalizable natural deduction formulations of some propositional intermediate logics (Q1117920) (← links)
- Modal logics with LM-axioms (Q1136748) (← links)
- Admissible rules for pretable modal logics (Q1170232) (← links)
- Solvability of logical equations in the modal system Grz and intuitionistic logic (Q1177557) (← links)
- A note on the tense logic of dominoes (Q1187979) (← links)
- Semantic admissibility criteria for deduction rules in S4 and Int (Q1189069) (← links)
- A modal analog for Glivenko's theorem and its applications (Q1203789) (← links)
- An axiomatization for until and since over the reals without the IRR rule (Q1207338) (← links)
- A lattice of normal modal logics (Q1220915) (← links)
- Hereditarily finitely axiomatizable extensions of logic S4 (Q1239153) (← links)
- Noncompact extensions of the logic S4 (Q1260026) (← links)
- Admissibility of logical inference rules (Q1309039) (← links)
- Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property (Q1327480) (← links)
- Refined common knowledge logics or logics of common information (Q1407585) (← links)
- Barwise's information frames and modal logics (Q1407591) (← links)
- On self-admissible quasi-characterizing inference rules (Q1591343) (← links)
- Multiagent temporal logics with multivaluations (Q1617988) (← links)
- Temporal multi-valued logic with lost worlds in the past (Q1669762) (← links)
- Many-valued multi-modal logics, satisfiability problem (Q1669939) (← links)
