Author： Blackburn P. Marx M.
Publisher： Springer Publishing Company
ISSN： 0022-3611
Source： Journal of Philosophical Logic, Vol.31, Iss.3, 2002-06, pp. : 281-288
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
In this note we show that the classical modal technology of Sahlqvist formulas gives quick proofs of the completeness theorems in [8] (D. Gregory, Completeness and decidability results for some propositional modal logics containing “actually” operators, Journal of Philosophical Logic 30(1): 57–78, 2001) and vastly generalizes them. Moreover, as a corollary, interpolation theorems for the logics considered in [8] are obtained. We then compare Gregory's modal language enriched with an “actually” operator with the work of Arthur Prior now known under the name of hybrid logic. This analysis relates the “actually” axioms to standard hybrid axioms, yields the decidability results in [8], and provides a number of complexity results. Finally, we use a bisimulation argument to show that the hybrid language is strictly more expressive than Gregory's language.
Related content
Phronesis: A Journal for Ancient Philosophy, Vol. 37, Iss. 2, 1992-07 ,pp. :
Access to resources
Recommend
The things that aren’t actually there
Philosophical Studies, Vol. 152, Iss. 2, 2011-01 ,pp. :
Was Gregory of Nyssa a Berkeleyan Idealist?
By Hibbs Darren
British Journal for the History of Philosophy, Vol. 13, Iss. 3, 2005-08 ,pp. :
Truthmaker Realism: Response to Gregory
By Smith B.
Australasian Journal of Philosophy, Vol. 80, Iss. 2, 2002-06 ,pp. :