scientific article; zbMATH DE number 6863850

zbMATH Open1385.03033MaRDI QIDQ4636282FDOQ4636282

Authors: Philippe Balbiani, Tinko Tinchev 

Publication date: 23 April 2018

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

Recommendations

• scientific article; zbMATH DE number 2151710
• Computational inductive definability
• Computability and Definability
• scientific article; zbMATH DE number 3966037
• scientific article; zbMATH DE number 4031647
• Abstract Computability and Invariant Definability
• Definitional schemes for primitive recursive and computable functions
• Recursion theory. Computational aspects of definability
• scientific article; zbMATH DE number 1467185
• scientific article; zbMATH DE number 2063217

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
• Exponential-size model property for PDL with separating parallel composition
• Tableaux methods for propositional dynamic logics with separating parallel composition
• Complexity optimal decision procedure for a propositional dynamic logic with parallel composition
• Resource separation in dynamic logic of propositional assignments
• Bisimilar and logically equivalent programs in PDL with parallel operator
• Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?

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)