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 -
herald of tver state university series applied mathematics
Language(s) - English
Resource type - Journals
ISSN - 1995-0136
DOI - 10.26456/vtpmk511
Subject(s) - normal modal logic , modal , predicate (mathematical logic) , kripke semantics , modal logic , kripke structure , mathematics , accessibility relation , pure mathematics , computer science , algorithm , programming language , materials science , polymer chemistry , model checking
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom