Kripke semantics for modal bilattice logic
- Jung, A.
- Rivieccio, U.
Actes de conférence:
Proceedings - Symposium on Logic in Computer Science
ISSN: 1043-6871
Année de publication: 2013
Pages: 438-447
Type: Communication dans un congrès