The following pages link to DKAL (Q31916):
Displaying 18 items.
- Abstract Hilbertian deductive systems, infon logic, and Datalog (Q393078) (← links)
- On the verification of security-aware E-services (Q429592) (← links)
- A novel logic-based automatic approach to constructing compliant security policies (Q439715) (← links)
- Fibred security language (Q1037607) (← links)
- The complexity of primal logic with disjunction (Q2339598) (← links)
- Basic primal infon logic (Q2804323) (← links)
- From Primal Infon Logic with Individual Variables to Datalog (Q2900510) (← links)
- Logic of infons (Q2946626) (← links)
- Logic in Access Control (Tutorial Notes) (Q3184786) (← links)
- Primal Infon Logic with Conjunctions as Sets (Q3190165) (← links)
- (Q3397633) (← links)
- Tracking Evidence (Q3585997) (← links)
- DKAL and Z3: A Logic Embedding Experiment (Q3586018) (← links)
- One Useful Logic That Defines Its Own Truth (Q3599112) (← links)
- (Q4904141) (← links)
- TRANSITIVE PRIMAL INFON LOGIC (Q4928774) (← links)
- The Complexity of Disjunction in Intuitionistic Logic (Q5283439) (← links)
- Propositional primal logic with disjunction (Q5406129) (← links)