Abstract
This paper presents two general results of decidability concerning logics based on an indeterministic metric tense logic, which can be applied to, among others, logics combining knowledge, time and agency. We provide a general Kripke semantics based on a variation of the notion of synchronized Ockhamist frames. Our proof of the decidability is by way of the finite frame property, applying subframe transformations and a variant of the filtration technique.
Similar content being viewed by others
References
Balbiani P., Herzig A., Troquard N.: Alternative axiomatics and complexity of deliberative stit theories. Journal of Philosophical Logic 37(4), 387–406 (2008)
Belnap N.: Backwards and forwards in the modal logic of agency. Philosophy and Phenomenological Research 51, 777–807 (1991)
Belnap, N., Before refraining: concepts for agency, Erkenntnis 34:137–169, 1991.
Belnap, N., M. Perloff, and M. Xu, Facing the Future: Agents and Choices in Our Indeterminist World, Oxford University Press, Oxford, 2001.
Blackburn, P., M. de Rijke, and Y. Venema, Modal logic, Cambridge University Press, Cambridge, 2001.
Broersen, J., A logical analysis of the interaction between ‘obligation-to-do’ and ‘knowingly doing’, in Deontic Logic in Computer Science, Springer, Heidelberg, 2008, pp. 140–154.
Broersen, J., A complete stit logic for knowledge and action, and some of its applications, in Declarative Agent Languages and Technologies VI, Springer, Berlin, 2009, pp. 47–59.
Broersen J.: Deontic epistemic stit logic distinguishing modes of mens rea. Journal of Applied Logic 9(2), 127–152 (2011)
Chang, C.C., and H.J. Keisler, Model Theory, North-Holland, Amsterdam, 1990.
di Mai, M.C., and A. Zanardo, A gabbay-rule free axiomatization of T × W validity, Journal of Philosophical Logic 27:435–487, 1998.
Enderton, H.B., A Mathematical Introduction to Logic, Harcourt Acadamic Press, San Diego, 2001.
Fagin, R., J.Y. Halpern, Y. Moses, and M.Y. Vardi, Reasoning about Knowledge, The MIT Press, Cambridge, 1995.
Halpern, J.Y., and M.Y. Vardi, The complexity of reasoning about knowledge and time, I. lower bounds, Journal of Computer and System Sciences 38:195–273, 1989.
Herzig A., Schwarzentruber F.: Properties of logics of individual and group agency. Advances in Modal Logic 7, 133–149 (2008)
Payette G.: Decidability of an xstit logic. Studia Logica 102(3), 577–607 (2013)
Prior, A., Past, Present, and Future, Oxford University Press, Oxford, 1967.
Schwarzentruber, F., Complexity results of stit fragments, Studia Logica 100(5):1001–1045, 2012.
Thomason, R.H., Indeterminist time and truth-value gaps, Theoria 36:264–281, 1970.
Thomason, R.H., Combinations of tense and modality, in Handbook of Philosophical Logic, vol. 2, Reidel Publishing Company, Dordrecht, 1984, pp. 135–165.
Xu, M., Decidability of deliberative stit theories with multiple agents, in Temporal Logic, First International Conference, Springer, Berlin, 1994, pp. 332–348.
Xu, M., Combining stit to ought and know, Manuscript, Department of Philosophy, Wuhan University, 2013.
Zanardo A.: Branching-time logic with quantification over branches: The point of view of modal logic. The Journal of Symbolic Logic 61, 1–39 (1996)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Zhang, Y., Li, K. Decidability of Logics Based on an Indeterministic Metric Tense Logic. Stud Logica 103, 1123–1162 (2015). https://doi.org/10.1007/s11225-015-9613-4
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-015-9613-4