Kripke semantics for modal bilattice logic
- Jung, A.
- Rivieccio, U.
Actas:
Proceedings - Symposium on Logic in Computer Science
ISSN: 1043-6871
Año de publicación: 2013
Páginas: 438-447
Tipo: Aportación congreso