Logics of Kripke meta-models

DOI10.1093/JIGPAL/JZP047zbMATH Open1216.03035OpenAlexW2169388232MaRDI QIDQ3061276

Sergey Babenyshev, Vladimir Rybakov

Publication date: 14 December 2010

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/a633b25b44091a827e21f1c7eaab77f44ecfd429

zbMATH Keywords

decidabilityKripke semanticssatisfiabilitydecision algorithmsmulti-modal logicseffective finite model propertyfibred logicsrefinement of logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Combined logics (03B62)

Related Items (3)

Extensions of Kripke models ⋮ Metainferential reasoning on strong Kleene models ⋮ METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS

This page was built for publication: Logics of Kripke meta-models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3061276)