scientific article; zbMATH DE number 6863850

zbMATH Open1385.03033MaRDI QIDQ4636282FDOQ4636282

Philippe Balbiani, Tinko Tinchev

Publication date: 23 April 2018

Title of this publication is not available (Why is that?)

zbMATH Keywords

definabilitypropositional dynamic logiccomputabilityparallel composition

Mathematics Subject Classification ID

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

Cited In (7)

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

   Recommendations

• Title not available (Why is that?) 👍 👎
• Computational inductive definability 👍 👎
• Computability and Definability 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Abstract Computability and Invariant Definability 👍 👎
• Definitional schemes for primitive recursive and computable functions 👍 👎
• Recursion theory. Computational aspects of definability 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4636282)