scientific article; zbMATH DE number 6863850

zbMath1385.03033MaRDI QIDQ4636282

Philippe Balbiani, Tinko Tinchev

Publication date: 23 April 2018

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

definabilitycomputabilitypropositional dynamic logicparallel composition

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Related Items (7)

Bisimilar and logically equivalent programs in PDL with parallel operator ⋮ Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition ⋮ Exponential-Size Model Property for PDL with Separating Parallel Composition ⋮ Separation logics and modalities: a survey ⋮ Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино? ⋮ Resource separation in dynamic logic of propositional assignments ⋮ Complexity Optimal Decision Procedure for a Propositional Dynamic Logic with Parallel Composition

This page was built for publication: