Efficient Program Transformers for Translating LCC to PDL

DOI10.1007/978-3-319-11558-0_18zbMath1432.68449OpenAlexW2201057023MaRDI QIDQ2938499

Pere Pardo, Fernando Soler-Toscano, Enrique Sarrión-Morillo, 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

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logics of communication and change
• Dynamic epistemic logic
• Merging frameworks for interaction
• A knowledge based semantics of messages
• Logics for epistemic programs
• Logical Dynamics of Information and Interaction
• Derivatives of Regular Expressions

This page was built for publication: Efficient Program Transformers for Translating LCC to PDL