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 | Add to Reading ListSource URL: arxiv.orgDownload Document from Source WebsiteFile Size: 296,00 KBShare Document on Facebook |