Abstract
This paper will propose a dynamic semantics of quantified modal logic based on the theory of System Transition Systems, which are abstract objects modeling “Kripke models of Kripke models” or graph rewriting systems, by exlpoiting the theory of coalgebras in order to treat modal subordination as a Kripke model change, which requires no ad-hoc informal treatment such as accomodation as in [1] or extra-ontology introduced in [2] [3].
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Roberts, C.: Modal subordination and pronominal anaphora in discourse. Linguistics and Philosophy 12, 683–721 (1989)
Geurts, B.: Presuppositions and Pronouns. Elsevier Science Ltd., Amsterdam (1999)
Frank, A.: On Context Dependence in Modal Constructions. PhD thesis, University of Stuttgart (1997)
Karttunen, L.: Discourse referents. In: Syntax and Semantics, pp. 363–385. Academic Press, New York (1977)
Ogata, N.: A dynamic semantics of modal subordination. In: Proceedings of the International Workshop of Logic and Engineering of Natural Language Semantics 2005, The Japanese Society of Artificial Intelligence, Tokyo (2005)
van Eijck, J., Cepparello, G.: Dynamic modal predicate logic. In: Kanazawa, M., Piñón, C.J. (eds.) Dynamics, Polarity, and Quantification, pp. 251–276. CSLI, Stanford (1994)
Groenendijk, J., Stokhof, M.: Dynamic predicate logic. Linguistics and Philosophy 14, 39–100 (1991)
Groenendijk, J., Stokhof, M., Veltman, F.: Coreference and modality. In: Lappin (ed.) The Handbook of Contemporary Semantic Theory, pp. 179–213. Cambridge University Press, Cambridge (1996)
Asher, N., McCready, E.: Modals and a compositional account of counterfactuals (2005)
Roberts, C.: Anaphora in intensional contexts. In: Lappin (ed.) The Handbook of Contemporary Semantic Theory, pp. 215–246. Cambridge University Press, Cambridge (1995)
Kadmon, N.: Formal Pragmatics: Semantics, Pragmatics, Presupposition, and Focus. Blackwell Publishers, Malden (2001)
Veltman, F.C.: Defaults in update semantics. Journal of Philosophical Logic 8, 73–80 (1996)
Garson, J.W.: Quantification in modal logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 3, pp. 267–323. Kluwer Academic Publisher, Dordrecht (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ogata, N. (2006). A Dynamic Semantics of Modal Subordination. In: Washio, T., Sakurai, A., Nakajima, K., Takeda, H., Tojo, S., Yokoo, M. (eds) New Frontiers in Artificial Intelligence. JSAI 2005. Lecture Notes in Computer Science(), vol 4012. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11780496_18
Download citation
DOI: https://doi.org/10.1007/11780496_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35470-3
Online ISBN: 978-3-540-35471-0
eBook Packages: Computer ScienceComputer Science (R0)