scientific article

zbMATH Open0525.03007MaRDI QIDQ3039311

Ewa Orłowska

Publication date: 1983

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

zbMATH Keywords

modal logicquantifiers over propositionsalgorithmic propertiesextension of propositional dynamic logicmodal S5 operators

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Logic with extra quantifiers and operators (03C80)

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 Q3039311)