Submodel enumeration of Kripke structures in modal logic

MaRDI QIDQ5884956zbMATH OpenFDO

Authors Nicolas Fröhlich, Arne Meier

Publication date 24 March 2023

zbMATH Keywords

DelayPenumeration complexityKripke structuresmodal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• An algorithm for enumerating maximal models of Horn theories with an application to modal logics
• On enumerating short projected models
• Complexity of model checking for logics over Kripke models
• An isomorph-free SEM-like enumeration of models
• Enumeration complexity

Cited in

(1)

• KBOs, ordinals, subrecursive hierarchies and all that

This page was built for publication: Submodel enumeration of Kripke structures in modal logic

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