swMATH20094MaRDI QIDQ31916FDOQ31916
Author name not available (Why is that?)
Official website: http://dkal.codeplex.com/
Cited In (20)
- Abstract Hilbertian deductive systems, infon logic, and Datalog
- One Useful Logic That Defines Its Own Truth
- The complexity of disjunction in intuitionistic logic
- Title not available (Why is that?)
- The complexity of primal logic with disjunction
- On the verification of security-aware E-services
- Primal infon logic with conjunctions as sets
- Logic in Access Control (Tutorial Notes)
- Tracking evidence
- From primal infon logic with individual variables to Datalog
- Logic of infons, the propositional case
- A novel logic-based automatic approach to constructing compliant security policies
- DKAL and Z3: a logic embedding experiment
- Basic primal infon logic
- Ltur
- Binder
- Fibred security language
- Propositional primal logic with disjunction
- Transitive primal infon logic
- Hilbertian deductive systems, infon logic, and Datalog
This page was built for software: DKAL
