Efficient program transformers for translating LCC to PDL

DOI10.1007/978-3-319-11558-0_18MaRDI QIDQ2938499zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 4210141 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• scientific article; zbMATH DE number 3366846 (Why is no real title available?)
• A knowledge based semantics of messages
• Derivatives of Regular Expressions
• Dynamic epistemic logic
• Logical dynamics of information and interaction
• Logics for epistemic programs
• Logics of communication and change
• Merging frameworks for interaction

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)