Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Igor Anatolievich Gorbunov
Quasi-Normal Partners of Modal Logics K4 and GL
Herald of Tver State University. Series: Applied Mathematics
Related publications
Countermodel Construction via Optimal Hypersequent Calculi for Non-Normal Modal Logics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modal Logics of Reactive Frames
Cognitive Technologies
Translating Classical Probability Logics Into Modal Fuzzy Logics
Modal Logics for Continuous Dynamics
Sequent Systems for Modal Logics
Labelled Propositional Modal Logics: Theory and Practice
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Modal Logics for Qualitative Spatial Reasoning
Logic Journal of the IGPL
Philosophy
Towards a Proof Theory of Gödel Modal Logics
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Two-Layer Modal Logics: From Fuzzy Logics to a General Framework
