Dynamic process logic

zbMath0628.03014MaRDI QIDQ1092892

N. V. Shilov

Publication date: 1986

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

linear spacesatisfiabilitypropositional dynamic logicdynamic process logicexponential decidability

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Decidability of theories and sets of sentences (03B25)

This page was built for publication: Dynamic process logic