Arbitrary Action Model Logic and Action Model Synthesis
From MaRDI portal
Publication:5271062
DOI10.1109/LICS.2013.31zbMath1366.68289MaRDI QIDQ5271062
Publication date: 3 July 2017
Published in: 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
modal logicmulti-agent systemepistemic logicdoxastic logictemporal epistemic logicaction modelsrefinement quantifier
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)
Related Items (14)
The undecidability of quantified announcements ⋮ Logics with group announcements and distributed knowledge: completeness and expressive power ⋮ Arbitrary arrow update logic ⋮ The undecidability of arbitrary arrow update logic ⋮ Propositional quantification in logics of contingency ⋮ To be announced ⋮ A separation logic with histories of epistemic actions as resources ⋮ Arbitrary public announcement logic with memory ⋮ Unnamed Item ⋮ Arrow update synthesis ⋮ Unnamed Item ⋮ Refinement modal logic ⋮ Coalition and relativised group announcement logic ⋮ Positive announcements
This page was built for publication: Arbitrary Action Model Logic and Action Model Synthesis
