The following pages link to Evgeni E. Zolin (Q1347607):
Displayed 16 items.
- (Q1275991) (redirect page) (← links)
- Interpolational Craig property in logics of proofs with strong provability operator (Q1275992) (← links)
- Completeness and definability in the logic of noncontingency (Q1347608) (← links)
- Sequential reflexive logics with noncontingency operator (Q1810258) (← links)
- Linear modalities in mininal logic (Q1866867) (← links)
- Sequent logic of arithmetic decidability (Q1866903) (← links)
- Undecidability of the problem of recognizing axiomatizations of superintuitionistic propositional calculi (Q2259003) (← links)
- Modal definability of first-order formulas with free variables and query answering (Q2446543) (← links)
- Undecidability of the transitive graded modal logic with converse (Q3133169) (← links)
- How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited (Q3498475) (← links)
- Embeddings of propositional monomodal logics (Q4521289) (← links)
- (Q4636301) (← links)
- Local Goldblatt–Thomason theorem (Q4644604) (← links)
- (Q4815892) (← links)
- (Q5104715) (← links)
- Completeness of logics with the transitive closure modality and related logics (Q6352973) (← links)