Pure extensions, proof rules and hybrid axiomatics (2004)

by Patrick Blackburn , Balder Ten Cate
Venue:Preliminary proceedings of Advances in Modal Logic (AiML 2004
Citations:16 - 6 self