First Page | Document Content | |
---|---|---|
![]() Category theory Boolean algebra Modal logic Algebraic logic F-coalgebra Coalgebra General frame Modal algebra Kripke semantics Mathematics Abstract algebra Mathematical logic | Source URL: arxiv.orgDownload Document from Source WebsiteFile Size: 296,00 KBShare Document on Facebook |