Principal-Centric Reasoning in Constructive Authorization Logic ( Extended Abstract )

@inproceedings{Garg2008PrincipalCentricRI,
  title={Principal-Centric Reasoning in Constructive Authorization Logic ( Extended Abstract )},
  author={Deepak Garg},
  year={2008}
}
We present an authorization logic that is quite similar to constructive modal S4. The logic assumes that principals are conceited in their beliefs. We describe the sequent calculus, Hilbert-style axiomatization, and Kripke semantics of the logic. A distinguishing characteristic of the sequent calculus is that hypothetical reasoning is relativized to beliefs of principals. We prove several meta-theoretic results including cut-elimination, and soundness and completeness for the Kripke semantics. 
9 Citations
44 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 44 references

Principal-centric reasoning in constructive authorization logic

  • Deepak Garg
  • (full version),
  • 2008
1 Excerpt

Similar Papers

Loading similar papers…