Andrey Kudinov

Часть публикаций из профиля, по году от новых к старым. Это не полный список последних работ автора; работы без года — в конце.

• Two Types of Filtrations for $${\textsc {wK4}}$$ and Its Relatives2025
• The influence of connectivity axiom on complexity of modal logic2025 · аннотациясвернуть

  We prove that for weakly transitive modal logics equipped with the universal modality whose satisfiability problem is already decidable in PSPACE, adding the connectivity axiom does not increase the complexity.…

• Topological product of modal logics with McKinsey axiom2024 · аннотациясвернуть

  We consider products of modal logics in topological semantics and prove that the topological product of S4.1 and S4 is the fusion of logics S4.1 and S4 plus one extra axiom. This is an example of a topological product…

• Topological product of modal logics with the McKinsey axiom2024
• Topological Product of Modal Logics with the McKinsey Axiom2024
• Derivational Modal Logics with the Difference Modality2014
• Modal logic of some products of neighborhood frames2014 · аннотациясвернуть

  We consider modal logics of products of neighborhood frames and prove that for any pair L and L' of logics from set \S4, D4, D, T\ modal logic of products of L-neighborhood frames and L'-neighborhood frames…

• Subset Space Logic with Arbitrary Announcements2012