Kripke semantics for modal bilattice logic
- Jung, A.
- Rivieccio, U.
Konferenzberichte:
Proceedings - Symposium on Logic in Computer Science
ISSN: 1043-6871
Datum der Publikation: 2013
Seiten: 438-447
Art: Konferenz-Beitrag