Propositional statecharts for agent interaction protocols

zbMATH Open1272.68055MaRDI QIDQ2848468FDOQ2848468

Authors: H. R. Dunn-Davies, R. J. Cunningham, S. Paurobally 

Publication date: 26 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105050425

Recommendations

• Propositional dynamic logic for reasoning about first-class agent interaction protocols
• scientific article; zbMATH DE number 2089503
• A sequent calculus for propositional dynamic logic for agents with interactions
• scientific article; zbMATH DE number 1951093
• Proving properties of states in the situation calculus
• A sequent calculus for propositional dynamic logic for agents
• A formal framework for interactive agents

Mathematics Subject Classification ID

Network protocols (68M12)

Cited In (3)

• Proving properties of states in the situation calculus
• Automated theorem proving in Euler diagram systems
• Views on behaviour protocols and their semantic foundation

This page was built for publication: Propositional statecharts for agent interaction protocols

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