Temporalised Epistemic Logic for Reasoning about Agent-Based Systems
暂无分享,去创建一个
[1] Luigi Logrippo,et al. Conflict Detection in Call Control Using First-Order Logic Model Checking , 2008, ICFI.
[2] Amílcar Sernadas. Fibring Logics, Dov M. Gabbay , 2000, J. Log. Lang. Inf..
[3] Mourad Debbabi,et al. A new logic for electronic commerce protocols , 2000, Theor. Comput. Sci..
[4] Rafael Heitor Bordini,et al. Verifying Multi-agent Programs by Model Checking , 2006, Autonomous Agents and Multi-Agent Systems.
[5] Mehmet A. Orgun,et al. Modal tableaux for verifying stream authentication protocols , 2007, Autonomous Agents and Multi-Agent Systems.
[6] Marcus Kracht,et al. Properties of independently axiomatizable bimodal logics , 1991, Journal of Symbolic Logic.
[7] Dov M. Gabbay,et al. Adding a temporal dimension to a logic system , 1992, J. Log. Lang. Inf..
[8] Alessio Lomuscio,et al. The bit transmission problem revisited , 2002, AAMAS '02.
[9] M. de Rijke,et al. Model Checking for Combined Logics with an Application to Mobile Systems , 2004, Automated Software Engineering.
[10] Torben Braüner,et al. First-order modal logic , 2007, Handbook of Modal Logic.
[11] C. Caleiro,et al. Fibring Logics∗ , 2009 .
[12] Dov M. Gabbay,et al. Products of Modal Logics, Part 1 , 1998, Log. J. IGPL.
[13] Mehmet A. Orgun,et al. Verification of Reactive Systems Using Temporal Logic with Clocks , 1999, Theor. Comput. Sci..
[14] Guido Governatori. Labelled Tableaux for Multi-Modal Logics , 1995, TABLEAUX.
[15] Mehmet A. Orgun,et al. A Temporalised Belief Logic for Specifying the Dynamics of Trust for Multi-agent Systems , 2004, ASIAN.