The following pages link to Ilya B. Shapirovsky (Q831222):
Displayed 30 items.
- Item:Q831222 (redirect page) (← links)
- Products of modal logics and tensor products of modal algebras (Q472808) (← links)
- On modal logics of model-theoretic relations (Q831223) (← links)
- Item:Q831222 (redirect page) (← links)
- Modal logics of some geometrical structures (Q927480) (← links)
- Modal logics of finite direct powers of \(\omega\) have the finite model property (Q2303620) (← links)
- Finite model property of modal logics of finite depth (Q2815679) (← links)
- (Q2904064) (← links)
- (Q3085172) (← links)
- (Q3509046) (← links)
- (Q3509065) (← links)
- (Q3647279) (← links)
- (Q4636053) (← links)
- (Q4636301) (← links)
- (Q5039163) (← links)
- (Q5104715) (← links)
- (Q5224586) (← links)
- (Q5311049) (← links)
- Partitioning Kripke frames of finite height (Q5349257) (← links)
- (Q5419891) (← links)
- (Q5483013) (← links)
- Modal Logics of Regions and Minkowski Spacetime (Q5696309) (← links)
- (Q5884973) (← links)
- Decidability of modal logics of non-\(k\)-colorable graphs (Q6118698) (← links)
- (Q6171324) (← links)
- Glivenko's theorem, finite height, and local tabularity (Q6303188) (← links)
- Modal logics of finite direct powers of $\omega$ have the finite model property (Q6315426) (← links)
- Completeness of logics with the transitive closure modality and related logics (Q6352973) (← links)
- Satisfiability problems on sums of Kripke frames (Q6357249) (← links)
- Sufficient conditions for local tabularity of a polymodal logic (Q6420518) (← links)