×

Variants of multi-relational semantics for propositional non-normal modal logics. (English) Zbl 1398.03088

Summary: A number of significant contributions in the last four decades show that non-normal modal logics can be fruitfully employed in several applied fields. Well-known domains are epistemic logic, deontic logic, and systems capturing different aspects of action and agency such as the modal logic of agency, concurrent propositional dynamic logic, game logic, and coalition logic. Semantics for such logics are traditionally based on neighbourhood models. However, other model-theoretic semantics can be used for this purpose. Here, we systematically study multi-relational structures, whose investigation is still relatively underdeveloped. After a brief introduction to two different versions of multi-relational semantics – which we call strong and weak multi-relational semantics – we proceed to study several modal schemata. Special attention is paid to the schemata \(\mathbf{CON}\) and \(\mathbf{D}\). Finally we offer completeness proofs for several systems using both strong and weak semantic tools: The proofs thus cover both classical systems and N-monotonic systems.

MSC:

03B45 Modal logic (including the logic of norms)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Aronson, E. (1969). The theory of cognitive dissonance: A current perspective. In L. Berkowitz (Ed.), Advances in experimental social psychology (Vol. 4, pp. 1-34). Waltham, MA: Academic Press.
[2] Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal logic. Cambridge: Cambridge University Press. · Zbl 0988.03006
[3] Carmo, J., & Jones, A. (2002). Deontic logic and contrary-to-duties. In D. Gabbay, & F. Guenthner (Eds.), Handbook of philosophical logic (2nd ed., Vol. 8, pp. 265-343). Dordrecht: Kluwer Academic. · Zbl 1055.03002
[4] Castañeda, H. (1980). The theory of questions, epistemic powers, and the indexical theory of knowledge. Midwest Studies in Philosophy,5, 193-237.
[5] Chellas, B. F. (1980). Modal logic: An introduction. Cambridge: Cambridge University Press. · Zbl 0431.03009
[6] Chellas, B. F., & McKinney, A. (1975). The completeness of monotonic modal logics. Zeitschrift fuer Mathematische Logik und Grundlagen der atematik,21, 379-383. · Zbl 0331.02007
[7] Elgesem, D. (1997). The modal logic of agency. Nordic Journal of Philosophical Logic,2, 1-46. · Zbl 0934.03027
[8] Fagin, R., Halpern, J. Y., Moses, Y., & Vardi, M. Y. (1995). Reasoning about knowledge. Cambridge, MA: MIT Press. · Zbl 0839.68095
[9] Fitting, M. (1983). Proof methods for modal and intuitionistic logics. Dordrecht: Reidel. · Zbl 0523.03013
[10] Gasquet, O., & Herzig, A. (1996). From classical to normal modal logic. In H. Wansing (Ed.), Proof theory of modal logic (pp. 293-311). Dordrecht: Kluwer. · Zbl 0867.03007
[11] Gerson, M. (1975). The inadequacy of the neighbourhood semantics for modal logic. Journal of Symbolic Logic,40, 141-148. · Zbl 0312.02019
[12] Goble, L. (2001). Multiplex semantics for deontic logic. Nordic Journal of Philosophical Logic,5, 113-134. · Zbl 0979.03020
[13] Goble, L. (2003). Preference semantics for deontic logic. Part I: Simple models. Logique et Analyse,46, 383-418. · Zbl 1073.03014
[14] Goble, L. (2004). Preference semantics for deontic logic. Part II: Multiplex models. Logique et Analyse,47, 113-134. · Zbl 0979.03020
[15] Goble, L. (2005). A logic for deontic dilemmas. Journal of Applied Logic,3, 461-483. · Zbl 1079.03009
[16] Goldblatt, R. (1992). Logics of time and computation. (2nd ed). Stanford, CA: Center for the Study of Language and Information. · Zbl 0635.03024
[17] Goldman, A. (1976). Discrimination and perceptual knowledge. The Journal of Philosophy,73, 771-791.
[18] Governatori, G., & Rotolo, A. (2005). On the Axiomatization of Elgesem’s Logic of Agency and Ability. Journal of Philosophical Logic,34, 403-431. · Zbl 1086.03013
[19] Hansen, H. H. (2003). Monotonic modal logics (Unpublished master’s thesis). University of Amsterdam, Netherlands.
[20] Hansen, J. (2005). Conflicting imperatives and dyadic deontic logic. Journal of Applied Logic,3, 484-511. · Zbl 1077.03014
[21] Hansson, B., & Gärdenfors, P. (1973). A guide to intensional semantics. In R. Hilpinen (Ed.), Modality, morality and other problems of sense and nonsense (pp. 151-167). Lund: Gleerup.
[22] Jennings, R. E., & Schotch, P. K. (1981). Some remarks on (weakly) weak modal logics. Notre Dame Journal of Formal Logic,22, 309-314. · Zbl 0472.03014
[23] Kracht, M., & Wolter, F. (1999). Normal monomodal logics can simulate all others. Journal of Symbolic Logic,64, 99-138. · Zbl 0972.03019
[24] Kripke, S. A. (1965). Semantical analysis of modal logic II. In J. W. Addison, L. Henkin, & A. Tarski (Eds.), The theory of models (pp. 206-220). Amsterdam: North Holland. · Zbl 0163.00502
[25] Malcolm, N. (1952). Knowledge and belief. Mind,61, 178-189.
[26] Meyer, J.-J. (2003). Modal epistemic and doxastic logic. In D. Gabbay, & F. Guenthner (Eds.), Handbook of philosophical logic (Vol. 10 pp. 1-38). Dorcrecht: Kluwer Academic. · Zbl 1035.03002
[27] Montague, R. (1970). Universal grammar. Theoria,36, 373-398. · Zbl 0243.02002
[28] Parikh, R. (1985). The logic of games and its applications. Annals of Discrete Mathematics,24, 111-140. · Zbl 0552.90110
[29] Pauly, M. (2002). A modal logic for coalitional power in games. Journal of Logic and Computation,12, 149-166. · Zbl 1003.91006
[30] Pollock, J. L. (1986). Contemporary theories of knowledge. Lanham, MD: Rowman & Littlefield.
[31] Rorty, R. (1979). Philosophy and the mirror of nature. Princeton, NJ: Princeton University Press.
[32] Rybakov, V. V. (1997). Admissible logical inference rules. Amsterdam: North-Holland. · Zbl 0872.03002
[33] Schotch, P. K., & Jennings, R. E. (1981). Non-Kripkean deontic logic. In R. Hilpinen (Ed.), New studies in deontic logic (pp. 149-162). Dorcrecht: Reidel.
[34] Scott, D. (1970). Advice in modal logic. In R. Hilpinen (Ed.), Philosophical problems in logic (pp. 143-173). Dordrecht: Reidel. · Zbl 0295.02013
[35] Segerberg, K. (1971). An essay in classical modal logic. Uppsala: Filosofiska Studier. · Zbl 0311.02028
[36] Segerberg, K. (1992). Getting started: Beginnings in the logic of action. Studia Logica,51, 347-378. · Zbl 0786.03003
[37] Sergot, M. J. (2001). A computational theory of normative positions. ACM Transactions on Computational Logic,2, 581-622. · Zbl 1365.03020
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.