DKAL

swMATH20094MaRDI QIDQ31916FDOQ31916

Author name not available (Why is that?)

Cited In (18)

• 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
• 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