scientific article; zbMATH DE number 3966039

zbMATH Open0599.03029MaRDI QIDQ3734375FDOQ3734375

Authors: Krister Segerberg 

Publication date: 1984

Title of this publication is not available (Why is that?)

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)