A tableau proof theory for CWPL
##plugins.themes.bootstrap3.article.main##
Abstract
In a recent paper, I presented a logic accommodating crossworld predication (crossworld predication logic, CWPL). Crossworld predication is the ascription of relations to objects, each of which is associated with a possible world (intuitively, an object associated with a possible world is the object as it is in the possible world). CWPL is a first-order modal logic with equality and λ-operator. Its advantage over other logics for crossworld predication I am familiar with (in particular, the ones elaborated by Butterfield and Stirling, Wehmeier, and Kocurek) is that it is based on the standard first-order modal vocabulary. Semantically, it is based on crossworld interpretation of predicates that assigns extensions to each n-ary predicate with respect to n-tuples of possible worlds rather than single possible worlds. To be able to employ crossworld interpretation of predicates when evaluating formulae, truth values are relativized to partial functions from variables to possible worlds. In the article mentioned above, I described the syntax and semantics of CWPL; the aim of the present paper is elaborating a tableau proof theory for CWPL and establishing its weak soundness and completeness.
##plugins.generic.usageStats.downloads##
##plugins.themes.bootstrap3.article.details##
Copyright (c) 2025 Evgeny V. Borisov

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
References
Borisov, 2023 – Borisov, E.V. “A Nonhybrid Logic for Crossworld Predication”, Logical Investigations, 2023, Vol. 29, No. 2, pp. 125–147.
Butterfield, Stirling, 1987 – Butterfield, J., Stirling, C. “Predicate modifiers in tense logic”, Logique et Analyse, 1987, Vol. 30, pp 31–50.
Fitting, Mendelsohn, 2023 – Fitting, M.C., Mendelsohn, R. First-Order Modal Logic.
Second edition. Dordrecht: Springer Science+Business Media, 2023. 460 pp.
Kocurek, 2016 – Kocurek, A.W. “The problem of cross-world predication”, Journal of Philosophical Logic, 2016, Vol. 45, pp. 697–742.
Stalnaker, Thomason, 1968 – Stalnaker, R.C., Thomason, R.H. “Abstraction in First-Order Modal Logic”, Theoria, 1968, Vol. 34, pp. 203–207.
Wehmeier, 2012 – Wehmeier, K. F. “Subjunctivity and cross-world predication”, Philosophical Studies, 2012, Vol. 159, pp. 107–122.
Wehmeier, Rückert, 2019 – Wehmeier, K., Rückert, H. “Still in the Mood: The Versatility of Subjunctive Markers in Modal Logic”, Topoi, 2019, Vol. 38, pp. 361–377.