Extending dynamic logic with refinements of abstract actions

DOI10.1093/LOGCOM/EXAC003MaRDI QIDQ5044543zbMATH OpenOpenAlexFDO

Authors Nico Roos

Publication date 1 November 2022

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1093/logcom/exac003

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Dynamic logic for reasoning about actions and agents
• A dynamic logic of action
• Reasoning about actions in dynamic linear time temporal logic
• scientific article; zbMATH DE number 2044515
• From Situation Calculus to Dynamic Epistemic Logic

Cited in

(3)

• Dynamic logic for reasoning about actions and agents
• Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice
• Dynamic extensions of arrow logic

This page was built for publication: Extending dynamic logic with refinements of abstract actions

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