Analogues of Bull’s theorem for hybrid logic

&
Logic Journal of the IGPL 27 (3):281-313 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzy039

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,486

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Sahlqvist Completeness Theory for Hybrid Logic with Downarrow Binder.Zhiguang Zhao - forthcoming - Logic Journal of the IGPL.
Bull's theorem by the method of diagrams.Giovanna Corsi - 1999 - Studia Logica 62 (2):163-176.
Erratum to “The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories” Logic Journal of the IGPL, 16: 585–590. [REVIEW]Igor Oliveira & Walter Carnielli - 2009 - Logic Journal of the IGPL 17 (6):803-804.
Third International Workshop on Hybrid Logic.Patrick Blackburn - 2001 - Logic Journal of the IGPL 9 (5):735-737.
Conferences. First International Workshop on Hybrid Logic.M. Marx - 1999 - Logic Journal of the IGPL 7 (5):665-669.
First-order hybrid logic: introduction and survey.T. Brauner - 2014 - Logic Journal of the IGPL 22 (1):155-165.
Hybrid logics with Sahlqvist axioms.ten Cate Balder, Marx Maarten & Viana Petrúcio - 2005 - Logic Journal of the IGPL 13 (3):293-300.
Hybrid logics with Sahlqvist axioms.B. ten Cate - 2005 - Logic Journal of the IGPL 13 (3):293-300.
An application of a theorem of Rothmaler.M. Zayed & A. Y. Abdelwanis - 2012 - Logic Journal of the IGPL 20 (6):1214-1219.
Reasoning with inconsistencies in hybrid MKNF knowledge bases.S. Huang, Q. Li & P. Hitzler - 2013 - Logic Journal of the IGPL 21 (2):263-290.

Analytics

Added to PP
2018-10-01

Downloads
36 (#669,646)

6 months
14 (#195,031)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Past, present and future.Arthur N. Prior - 1967 - Oxford,: Clarendon P..
Past, present, and future.Arthur Prior - 1967 - Revue Philosophique de la France Et de l'Etranger 157:476-476.
The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.
Modal logic with names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.

View all 22 references / Add more references