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: | 14 - 6 self |
BibTeX
@INPROCEEDINGS{Blackburn04pureextensions,,
author = {Patrick Blackburn and Balder Ten Cate},
title = {Pure extensions, proof rules and hybrid axiomatics},
booktitle = {Preliminary proceedings of Advances in Modal Logic (AiML 2004},
year = {2004},
pages = {277--322}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We examine the role played by proof rules in general axiomatisations for hybrid logic. We prove three main results. First, all known axiomatisations for the basic hybrid language
