Kirill Kopnev

1. The Finite Model Property of Some Non-normal Modal Logics with the Transitivity Axiom
   2023/05/15 by Kirill Kopnev, Kopnev, Kirill · 1 citation
   Computer Science · #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic #Logic, programming, and type systems