Kripke semantics for modal bilattice logic
- Jung, A.
- Rivieccio, U.
Aktak:
Proceedings - Symposium on Logic in Computer Science
ISSN: 1043-6871
Argitalpen urtea: 2013
Orrialdeak: 438-447
Mota: Biltzar ekarpena