DKAL
From MaRDI portal
Software:31916
No author found.
Related Items (18)
The Complexity of Disjunction in Intuitionistic Logic ⋮ From Primal Infon Logic with Individual Variables to Datalog ⋮ Logic in Access Control (Tutorial Notes) ⋮ Primal Infon Logic with Conjunctions as Sets ⋮ Logic of infons ⋮ 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 ⋮ Unnamed Item ⋮ Propositional primal logic with disjunction ⋮ Tracking Evidence ⋮ DKAL and Z3: A Logic Embedding Experiment ⋮ TRANSITIVE PRIMAL INFON LOGIC ⋮ One Useful Logic That Defines Its Own Truth ⋮ Basic primal infon logic ⋮ Fibred security language ⋮ The complexity of primal logic with disjunction ⋮ Unnamed Item
This page was built for software: DKAL
