TY - JOUR
AU1 - Babenyshev, Sergey
AU2 - Rybakov, Vladimir
AB - This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The possible candidates include (but are not restricted to) a number of epistemic, multi-agent, deontological and other well-studied logics. In this construction, that we call refinement, the Kripke structure of a chosen Kripke complete logic is imposed on clusters of the background transitive frame. Refinements fit in a wider framework of fibred logics, while having some unique features. First of all, when applied to classes of frames of Kripke complete logics, refinement preserves good meta-logical properties of constituent logics, in contrast with the well-known products of logics. Another advantage of refinements is that they allow for augmented languages of considerable expressive power, while preserving good meta-logical and semantical properties. In particular we show that refinement of logics preserves the effective finite model property and decidability for a wide class of constituent logics.
TI - Logics of Kripke meta-models
JF - Logic Journal of the IGPL
DO - 10.1093/jigpal/jzp047
DA - 2010-12-03
UR - https://www.deepdyve.com/lp/oxford-university-press/logics-of-kripke-meta-models-vt7wmWGjHx
SP - 823
EP - 836
VL - 18
IS - 6
DP - DeepDyve
ER -