Author:
Hodkinson Ian,Paternault Louis
Subject
Applied Mathematics,Logic
Reference11 articles.
1. Every world can see a Sahlqvist world;Balbiani,2006
2. Pure extensions, proof rules, and hybrid axiomatics;Blackburn;Studia Logica,2006
3. Modal Logic;Blackburn,2004
4. Elementary generation and canonicity for varieties of boolean algebras with operators;Goldblatt;Algebra Universalis,1995
5. The McKinsey–Lemmon logic is barely canonical;Goldblatt;Australasian Journal of Logic,2007
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献