scientific article; zbMATH DE number 3966039

MaRDI QIDQ3734375zbMATH OpenFDO

Authors Krister Segerberg

Publication date 1984

zbMATH Keywords

completenessdecidabilitymodal logicdynamic logicKripke semanticsfinite model property

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45) Abstract data types; algebraic specification (68Q65)

Cited in

(1)

• Dynamic topological logic

This page was built for publication:

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