{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:31:02Z","timestamp":1725456662836},"reference-count":0,"publisher":"EasyChair","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"Hybrid logic extends modal logic with a special sort of variables, called nominals, which are evaluated to singletons in Kripke models by valuations, thus acting as names for states in models. Various syntactic mechanisms for exploiting and enhancing the expressive power gained through the addition of nominals can be included, most characteristically the satisfaction operator, @_ip, allowing one to express that p holds at the world named by a nominal i.<\/jats:p>R.A. Bull famously proved that each normal extension of S4.3 has the finite model<\/jats:p>property. In the current paper, we prove a hybrid analogue of Bull's result. Like the proof of Bull's original result, ours is algebraic, and thus our secondary aim with this work is to illustrate the usefulness of algebraic methods within hybrid logic research, a field where such methods have been largely ignored.<\/jats:p>","DOI":"10.29007\/bhm3","type":"proceedings-article","created":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T22:59:06Z","timestamp":1516748346000},"page":"179-174","source":"Crossref","is-referenced-by-count":0,"title":["An analogue of Bull's theorem for Hybrid Logic"],"prefix":"10.29007","volume":"25","author":[{"given":"Claudette","family":"Robinson","sequence":"first","affiliation":[]},{"given":"Willem","family":"Conradie","sequence":"additional","affiliation":[]}],"member":"11545","event":{"name":"TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic"},"container-title":["EPiC Series in Computing"],"original-title":[],"deposited":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T23:01:22Z","timestamp":1516748482000},"score":1,"resource":{"primary":{"URL":"https:\/\/easychair.org\/publications\/paper\/3m5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.29007\/bhm3","relation":{},"ISSN":["2398-7340"],"issn-type":[{"type":"print","value":"2398-7340"}],"subject":[]}}
