Hierarchies of program logics

DOI10.1007/BF00971560zbMath0551.03006MaRDI QIDQ801048

Michael A. Taitslin

Publication date: 1984

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

zbMATH Keywords

dynamic logicinfinitary logicdefinability

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)

Related Items

A.D. Taimanov and model theory in Kazakhstan

Cites Work

• First-order dynamic logic
• Unnamed Item