Bryan Renne
ABSTRACT
This paper presents a logic combining Dynamic Epistemic Logic, a framework for reasoning about multi-agent communication, with a new multi-agent version of Justification Logic, a framework for reasoning about evidence and justification. This novel combination incorporates a new kind of multi-agent evidence elimination that cleanly meshes with the multi-agent communications from Dynamic Epistemic Logic, resulting in a system for reasoning about multi-agent communication and evidence elimination for groups of interacting rational agents.
- Artemov, S. (2008). The logic of justification. The Review of Symbolic Logic 1(4), 477--513.Google Scholar
Cross Ref
- Artemov, S. and E. Nogina (2005). Introducing justification into epistemic logic. Journal of Logic and Computation 15(6), 1059--1073. Google ScholarDigital Library
- Artemov, S. N. (2001). Explicit provability and constructive semantics. The Bulletin of Symbolic Logic 7(1), 1--36.Google ScholarCross Ref
- Baltag, A. and L. S. Moss (2004). Logics for epistemic programs. Synthese 139(2), 165--224.Google ScholarCross Ref
- Baltag, A., L. S. Moss, and S. Solecki (1998). The logic of common knowledge, public announcements, and private suspicions. In I. Gilboa (Ed.), Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK VII), Evanston, IL, USA, pp. 43--56. Google ScholarDigital Library
- Baltag, A. and S. Smets (2007). A qualitative theory of dynamic interactive belief revision. In G. Bonanno, W. van der Hoek, and M. Wooldridge (Eds.), Selected papers from LOFT'06, Texts in Logic and Games. Amsterdam University Press.Google Scholar
- Baltag, A., H. P. van Ditmarsch, and L. S. Moss (2008). Epistemic logic and information update. In P. Adriaans and J. van Benthem (Eds.), Handbook on the Philosophy of Information, pp. 369--463. Elsevier.Google ScholarCross Ref
- Blackburn, P., M. de Rijke, and Y. Venema (2001). Modal Logic. Cambridge University Press. Google ScholarDigital Library
- Fitting, M. (2005). The Logic of Proofs, semantically. Annals of Pure and Applied Logic 132(1), 1--25.Google ScholarCross Ref
- Fitting, M. (2009). Reasoning with justifications. Forthcoming in Studia Logica.Google Scholar
- Kuznets, R. (2008). Complexity Issues in Justification Logic. Ph. D. thesis, CUNY Ph.D. Program in Computer Science. Google ScholarDigital Library
- Mkrtychev, A. (1997). Models for the Logic of Proofs. In S. Adian and A. Nerode (Eds.), Logical Foundations of Computer Science, Volume 1234 of Lecture Notes in Computer Science, pp. 266--275. Springer. Google ScholarDigital Library
- Renne, B. (2006). Public and private communication are different: Results on relative expressivity. Synthese 165(2), 225--245.Google ScholarCross Ref
- Renne, B. (2008a). Dynamic Epistemic Logic with Justification. Ph. D. thesis, The City University of New York. Google ScholarDigital Library
- Renne, B. (2008b, July). A survey of Dynamic Epistemic Logic. Manuscript.Google Scholar
- Renne, B. (2009a, March). Multi-agent justification logic: Communication and evidence elimination. Manuscript.Google Scholar
- Renne, B. (2009b, March). Simple evidence elimination in justification logic. Manuscript.Google Scholar
- van Benthem, J. (2004). Dynamic logic for belief revision. Journal of Applied Non-Classical Logics 14(2), 129--155.Google ScholarCross Ref
- van Benthem, J. (2006). One is a lonely number: Logic and communication. In Z. Chatzidakis, P. Koepke, and W. Pohlers (Eds.), Logic Colloquium '02, Volume 27 of Lecture Notes in Logic. Association for Symbolic Logic.Google Scholar
- van Benthem, J. and F. Liu (2007). Dynamic logic of preference updgrade. Journal of Applied Non-Classical Logics 17(2), 157--182.Google ScholarCross Ref
- van Benthem, J., J. van Eijck, and B. Kooi (2006). Logics of communication and change. Information and Computation 204(11), 1620--1662. Google ScholarDigital Library
- van Ditmarsch, H., W. van der Hoek, and B. Kooi (2007). Dynamic Epistemic Logic. Springer. Google ScholarDigital Library
- Yavorskaya (Sidon), T. (2008). Interacting explicit evidence systems. Theory of Computing Systems 43, 272--293. Google ScholarCross Ref
Index Terms
- Evidence elimination in multi-agent justification logic
Recommendations
Paraconsistent Logic, Evidence, and Justification
In a forthcoming paper, Walter Carnielli and Abilio Rodrigues propose a Basic Logic of Evidence (BLE) whose natural deduction rules are thought of as preserving evidence instead of truth. BLE turns out to be equivalent to Nelson's paraconsistent logic ...
Topological semantics of justification logic
CSR'08: Proceedings of the 3rd international conference on Computer science: theory and applicationsThe Justification Logic is a family of logical systems obtained from epistemic logics by adding new type of formulas t:F which reads as t is a justification for F. The major epistemic modal logic S4 has a well-known Tarski topological interpretation ...
Cut Elimination and Realization for Epistemic Logics with Justification
Epistemic logics with justification, S4LP and S4LPN , are combinations of the modal epistemic logic S4 and the Logic of Proofs LP , with some connecting principles. These logics together with the modal knowledge operator F ( F is known), ...
Comments