DKAL
From MaRDI portal
Cited in
(20)- Fibred security language
- The complexity of primal logic with disjunction
- Ltur
- Basic primal infon logic
- From primal infon logic with individual variables to Datalog
- Logic of infons, the propositional case
- Logic in Access Control (Tutorial Notes)
- Primal infon logic with conjunctions as sets
- scientific article; zbMATH DE number 5606348 (Why is no real title available?)
- Tracking evidence
- DKAL and Z3: a logic embedding experiment
- One Useful Logic That Defines Its Own Truth
- Binder
- Abstract Hilbertian deductive systems, infon logic, and Datalog
- On the verification of security-aware E-services
- A novel logic-based automatic approach to constructing compliant security policies
- Hilbertian deductive systems, infon logic, and Datalog
- Transitive primal infon logic
- The complexity of disjunction in intuitionistic logic
- Propositional primal logic with disjunction
This page was built for software: DKAL
