A propositional logic of Boolean recursive programs in which predicate variables appear in conditions

DOI10.1007/BF01157441zbMath0719.03012MaRDI QIDQ2639846

A. L. Rastsvetaev

Publication date: 1990

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

zbMATH Keywords

loopspropositional dynamic logicprogram schemes

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Unnamed Item
• Unnamed Item
• PDL with data constants
• Automata-theoretic techniques for modal logics of programs
• Propositional dynamic logic of regular programs

This page was built for publication: A propositional logic of Boolean recursive programs in which predicate variables appear in conditions