The following pages link to Logic of infons (Q2946626):
Displayed 6 items.
- Abstract Hilbertian deductive systems, infon logic, and Datalog (Q393078) (← links)
- Noninterference in a predicative polymorphic calculus for access control (Q2339144) (← links)
- The complexity of primal logic with disjunction (Q2339598) (← links)
- Kripke Semantics for Basic Sequent Systems (Q3010359) (← links)
- (Q5240216) (← links)
- The Complexity of Disjunction in Intuitionistic Logic (Q5283439) (← links)