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

Descripción completa

Detalles Bibliográficos

Publicado en:	Review of Symbolic Logic Vol. 6; no. 2; pp. 281 - 305
Autores principales:	COTRINI, CARLOS, GUREVICH, YURI
Formato:	Artículo
Publicado:	Cambridge University Press Jun2013
Materias:	Access control Application software Mathematics theorems Algorithms Mathematical formulas Axioms
Acceso en línea:	Ver este registro en EBSCOhost