W. van der Hoek and R. Verbrugge. Epistemic logic: A survey. Game Theory and Applications, 8:53--94, 2002. A Summary of the Sequent Calculus This appendix summarizes the sequent calculus for our logic. A.1 A#rmation, Possession and Knowledge The following are the sequent calculus rules relating to a#rmation, possession and knowledge.  Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
A Linear Logic of Authorization and Knowledge - Garg, Bauer, Bowers.. (2006) (Correct)
No context found.
W. van der Hoek and R. Verbrugge. Epistemic logic: A survey. Game Theory and Applications, 8:53--94, 2002. A Summary of the Sequent Calculus This appendix summarizes the sequent calculus for our logic. A.1 A#rmation, Possession and Knowledge The following are the sequent calculus rules relating to a#rmation, possession and knowledge.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC