Coalgebraic modal logic: Soundness, completeness and decidability of local consequence (2002)
by
Dirk Pattinson
| Venue: | Theoret. Comput. Sci |
| Citations: | 50 - 23 self |
Document Versions
| Coalgebraic modal logic: Soundness, completeness and decidability of local consequence –Dirk Pattinson — 2002 — Theoret. Comput. Sci |
