Kripke semantics for modal bilattice logic
- Jung, A.
- Rivieccio, U.
Proceedings:
Proceedings - Symposium on Logic in Computer Science
ISSN: 1043-6871
Year of publication: 2013
Pages: 438-447
Type: Conference paper