Open AccessAxiomatizability of non-normal and quasi-normal modal predicate logics of first-order definable classes of Kripke frames
Author(s) -
Mikhail Nikolayevich Rybakov
Publication year - 2018
Publication title -
vestnik tverskogo gosudarstvennogo universiteta. seriâ prikladnaâ matematika
Language(s) - English
Resource type - Journals
ISSN - 1995-0136
DOI - 10.26456/vtpmk511
Subject(s) - predicate (mathematical logic) , normal modal logic , modal , kripke semantics , mathematics , modal logic , computer science , programming language , chemistry , polymer chemistry