Hierarchies of program logics

DOI10.1007/BF00971560MaRDI QIDQ801048zbMATH OpenFDO

Authors Michael A. Taitslin

Publication date 1984

Published in Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

definabilitydynamic logicinfinitary logic

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 on admissible sets (03C70)

Cites work

• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• First-order dynamic logic

Cited in

(4)

• Hierarchical Organisation of Predicate-Semantic Models
• A.D. Taimanov and model theory in Kazakhstan
• Hierarchies in Dependence Logic
• scientific article; zbMATH DE number 4057489 (Why is no real title available?)

This page was built for publication: Hierarchies of program logics

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