Pure extensions, proof rules and hybrid axiomatics (2004)
Cached
Download Links
by
Patrick Blackburn
,
Balder Ten Cate
Venue: | Preliminary proceedings of Advances in Modal Logic (AiML 2004 |
Citations: | 16 - 4 self |