DKAL
From MaRDI portal
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
- scientific article; zbMATH DE number 5606348 (Why is no real title available?)
- 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
- Ltur
- Binder
- Basic primal infon logic
- 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
