Efficient program transformers for translating LCC to PDL

DOI10.1007/978-3-319-11558-0_18zbMATH Open1432.68449OpenAlexW2201057023MaRDI QIDQ2938499FDOQ2938499

Authors: Pere Pardo, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando Raymundo Velázquez-Quesada 

Publication date: 14 January 2015

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-11558-0_18

Recommendations

• Tuning the program transformers from CC to PDL
• \textsf{LCC}-program transformers through Brzozowski's equations
• A transformation system for concurrent processes
• scientific article; zbMATH DE number 3898262
• The transformational approach to program development

zbMATH Keywords

propositional dynamic logicreduction axiomaction modellogic of communication and changeprogram transformer

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Cites Work

• Logics of communication and change
• Derivatives of Regular Expressions
• Logics for epistemic programs
• Logical dynamics of information and interaction
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Dynamic epistemic logic
• Title not available (Why is that?)
• Merging frameworks for interaction
• A knowledge based semantics of messages

Cited In (2)

• Tuning the program transformers from CC to PDL
• \textsf{LCC}-program transformers through Brzozowski's equations

This page was built for publication: Efficient program transformers for translating \(\mathsf {LCC}\) to \(\mathsf {PDL}\)

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