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
• Logic in Access Control (Tutorial Notes)
• A novel logic-based automatic approach to constructing compliant security policies
• TRANSITIVE PRIMAL INFON LOGIC
• Basic primal infon logic
• Title not available (Why is that?)
• From Primal Infon Logic with Individual Variables to Datalog
• Logic of infons
• Primal Infon Logic with Conjunctions as Sets
• Fibred security language
• Tracking Evidence
• Propositional primal logic with disjunction
• DKAL and Z3: A Logic Embedding Experiment

This page was built for software: DKAL