A Constructive Conditional Logic for Access Control
نویسندگان
چکیده
We define an Intuitionistic Conditional Logic for Access Control called CICL . The logic CICL is based on a conditional language allowing principals to be defined as arbitrary formulas and it includes few uncontroversial axioms of access control logics. We provide an axiomatization and a Kripke model semantics for the logic CICL , prove that the axiomatization is sound and complete with respect to the semantics, and define a sound, complete and cut-free labelled sequent calculus for it.
منابع مشابه
A constructive conditional logic for access control: a completeness result
In this paper we define a Intuitionistic Conditional Logic for Access Control (CCAC ). The logic is based on a conditional language allowing principals to be defined as arbitrary formulas. CCAC is a intuitionistic conditional logic, which includes few uncontroversial axioms of access control logics. The paper provides an axiomatization and a Kripke model semantics for the logic CCAC and proves ...
متن کاملA constructive conditional logic for access control: a preliminary report
We define an Intuitionistic Conditional Logic for Access Control called CICL . The logic CICL is based on a conditional language allowing principals to be defined as arbitrary formulas and it includes few uncontroversial axioms of access control logics. We provide an axiomatization and a Kripke model semantics for the logic CICL , and we prove that the axiomatization is sound and complete with ...
متن کاملA Conditional Constructive Logic for Access Control and Its Sequent Calculus
In this paper we study the applicability of constructive conditional logics as a general framework to define decision procedures in access control logics. To this purpose, we formalize the assertion A says φ, whose intended meaning is that principal A says that φ, as a conditional implication. We introduce CondACL , which is a conservative extension of the logic ICL recently introduced by Garg ...
متن کاملLogics for Access Control: A Conditional Approach
In this paper we provide a reconstruction of access control logics within constructive conditional logics, by regarding the assertion A says φ, whose intended meaning is that principal A says that φ, as a conditional implication. We identify the conditional axioms needed to capture the basic properties of the “says” operator and to provide a proper definition of boolean principals. Most of thes...
متن کاملA Critical Examination of Ibn-Sina’s Theory of the Conditional Syllogism
This paper will examine Ibn Sina’s theory of the Conditional Syllogism from a purely logical point of view, and will lay bare the principles he adopted for founding his theory, and the reason why the newly introduced part of his logic remained undeveloped and eventually was removed from the texts of logic in the later Islamic tradition. As a preliminary discussion, this paper briefly examines I...
متن کامل