General Neighborhood and Kripke Semantics for Modal Many-Valued Logics

Authors: Petr Cintula, P. Menchón, Carles Noguera
Publication year: 2018
Publication type: Abstrakt
Periodical: LATD 2018. Proceedings
Projects: Predicate graded logics and their applications to computer science
Bibliographic citation: CINTULA, Petr, MENCHÓN, P., NOGUERA, Carles. General Neighborhood and Kripke Semantics for Modal Many-Valued Logics. In: LATD 2018. Proceedings. Bern: University of Bern, 2018, S. 31-34.
ID: 508274

Abstract

In modal extensions of classical logic, Kripke frames and Scott–Montague neighborhood frames (see e.g. [21, 26]) provide two, widely used, different kinds of frame semantics; the former is intended for normal modal logics (i.e. extensions of K), while the latter works as well for non-normal modal logics extending the weaker system E. However, not all logics extending these basic logics are complete with respect to a class of corresponding frames.