zbMATH — the first resource for mathematics

Situations in LTL as strings. (English) Zbl 1187.68631
Summary: Situations serving as worlds as well as events in linguistic semantics are formulated as strings recording observations over discrete time. This formulation is applied to a linear temporal logic, in line with L. Schubert’s distinction between described and characterized situations. The distinction is developed topologically and computationally, and linked to the opposition between truth-conditional and proof-conditional semantics. For a finitary handle on quantification, strings are associated with situations not only on the basis of observation but also through derivation and constraint satisfaction. The constraints specified lead to an implementation simpler than the derivations given.

68T50 Natural language processing
Full Text: DOI
[1] Asher, N.; Lascarides, A., Logics of conversation, (2003), Cambridge University Press Cambridge, MA
[2] Barwise, J.; Perry, J., Situations and attitudes, (1983), MIT Press Cambridge, MA · Zbl 0946.03007
[3] Beesley, K.R.; Karttunen, L., Finite state morphology, (2003), CSLI Publications Stanford, CA
[4] Clarke, E.M.; Grumberg, O.; Peled, D.A., Model checking, (1999), MIT Press Cambridge, MA
[5] Cooper, R., Records and record types in semantic theory, Journal of logic and computation, 15, 2, 99-112, (2005) · Zbl 1070.03514
[6] Dekker, P., Cases, adverbs, situations and events, (), 383-404
[7] Fernando, T., A finite-state approach to events in natural language semantics, Journal of logic and computation, 14, 1, 79-92, (2004) · Zbl 1156.68598
[8] Fernando, T., Inertia in temporal modification, (), 56-73
[9] T. Fernando, Comic relief for anankastic conditionals, in: Proceedings of the 15th Amsterdam Colloquium, Amsterdam, 2005, pp. 71-76.
[10] T. Fernando, Finite-state temporal projection, in: Proceedings of the 11th International Conference on Implementation and Application of Automata, Lecture Notes in Computer Science 4094, Springer, 2006, pp. 230-241. · Zbl 1160.03301
[11] Fernando, T., Representing events and discourse: comments on hamm, kamp and Van lambalgen, Theoretical linguistics, 32, 1, 57-64, (2006)
[12] Fernando, T., Observing events and situations in time, Linguistics and philosophy, 30, 5, 527-550, (2007)
[13] Fernando, T., Branching from inertia worlds, Journal of semantics, 25, 3, 321-344, (2008)
[14] T. Fernando, R. Nairn, Entailments in finite-state temporality, in: Proceedings of the Sixth International Workshop on Computational Semantics, Tilburg University, 2005, pp. 128-138.
[15] Kamp, H.; Reyle, U., From discourse to logic, (1993), Kluwer Academic Publishers Dordrecht
[16] Kratzer, A., An investigation of the lumps of thought, Linguistics and philosophy, 12, 607-653, (1989)
[17] van Lambalgen, M.; Hamm, F., The proper treatment of events, (2005), Blackwell Oxford
[18] McCarthy, J.; Hayes, P., Some philosophical problems from the standpoint of artificial intelligence, (), 463-502 · Zbl 0226.68044
[19] Y.N. Moschovakis, Sense and denotation as algorithm and value, in: J. Oikkonen, J. Vaananen (Eds.), Logic Colloquium’90, Number 2 in Lecture Notes in Logic, Springer, 1994, pp. 210-249. · Zbl 0823.03022
[20] Parsons, T., Events in the semantics of English: A study in subatomic semantics, (1990), MIT Press Cambridge, MA
[21] Prior, A., Past, present and future, (1967), Clarendon Press Oxford · Zbl 0169.29802
[22] Ranta, A., Type-theoretical grammar, (1994), Oxford University Press Oxford, MA · Zbl 0855.68073
[23] Reichenbach, H., Elements of symbolic logic, (1947), Macmillan London
[24] Schubert, L., The situations we talk about, (), 407-439 · Zbl 0979.68116
[25] Sundholm, G., Proof theory and meaning, (), 471-506 · Zbl 0875.03027
[26] C. Tenny, Grammaticalizing aspect and affectedness, Dissertation, Department of Linguistics and Philosophy, MIT, 1987.
[27] Vendler, Z., Linguistics in philosophy, (1967), Cornell University Press Ithaca, NY
[28] Vickers, S., Topology via logic, (1989), Cambridge University Press Cambridge, MA · Zbl 0668.54001
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.