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)

Full work available at URL https://doi.org/10.1007/BF00971560

zbMATH Keywords

definabilitydynamic logicinfinitary logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic on admissible sets (03C70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Review text

Translation from Sib. Mat. Zh. 24, No.3(139), 184-192 (Russian) (1983; Zbl 0518.03002).

Cites work

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

Cited in

(4)

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

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)