Hierarchies of program logics

DOI10.1007/BF00971560zbMATH Open0551.03006MaRDI QIDQ801048FDOQ801048

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

• First-order dynamic logic
• Title not available (Why is that?)

Cited In (4)

• Title not available (Why is that?)
• Hierarchical Organisation of Predicate-Semantic Models
• Hierarchies in Dependence Logic
• A.D. Taimanov and model theory in Kazakhstan

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)