Cover Image
QR Code

TRANSITIVE PRIMAL INFON LOGIC.

Primal infon logic was introduced in 2009 in connection with access control. In addition to traditional logic constructs, it contains unary connectives p said indispensable in the intended access control applications. Propositional primal infon logic is decidable in linear time, yet suffices for man...

Full description

Published in:Review of Symbolic Logic Vol. 6; no. 2; pp. 281 - 305
Main Authors: COTRINI, CARLOS, GUREVICH, YURI
Format: Article
Published: Cambridge University Press Jun2013
Subjects:
Access control
Application software
Mathematics theorems
Algorithms
Mathematical formulas
Axioms
Online Access:View this record in EBSCOhost