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.
Similar content being viewed by others
REFERENCES
Areces, C., Blackburn, P. and Marx, M.: The computational complexity of hybrid temporal logic, Logic J. IGPL 8(5) (2000), 653–679.
Areces, C., Blackburn, P. and Marx, M.: Hybrid logics: Characterization, interpolation and complexity, J. Symbolic Logic 66(3) (2001), 977–1010.
Blackburn, P.: Nominal tense logic, Notre Dame J. Formal Logic 34 (1993), 56–83.
Blackburn, P.: Representation, reasoning, and relational structures: A hybrid logic manifesto, Logic J. IGPL 8 (2000), 339–365.
Blackburn, P., de Rijke, M. and Venema, Y.: Modal Logic, Cambridge University Press, 2001.
Bull, R.: An approach to tense logic, Theoria 36 (1970), 282–300.
Gargov, G. and Goranko, V.: Modal logic with names, J. Philos. Logic 22 (1993), 607–636.
Gregory, D.: Completeness and decidability results for some propositional modal logics containing “actually” operators, J. Philos. Logic 30(1) (2001), 57–78.
Marx, M. and Venema, Y.: Multi-dimensional Modal Logic, Appl. Logic Ser., Kluwer Academic Publishers, 1997.
Passy, S. and Tinchev, T.: An essay in combinatory dynamic logic, Inform. and Comput. 93 (1991), 263–332.
Prior, A. N.: Past, Present and Future, Oxford University Press, 1967.
Prior, A. N.: Papers on Time and Tense, Oxford University Press, 1968.
Prior, A. N. and Fine, K.: Worlds, Times and Selves, University of Massachusetts Press, 1977.
Rautenberg, W.: Modal tableau calculi and interpolation, J. Philos. Logic 12 (1983), 403–423.
Stephanou, Y.: Indexed actuality, J. Philos. Logic 30 (2001), 355–393.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Blackburn, P., Marx, M. Remarks on Gregory's “Actually” Operator. Journal of Philosophical Logic 31, 281–288 (2002). https://doi.org/10.1023/A:1015726824270
Issue Date:
DOI: https://doi.org/10.1023/A:1015726824270