Skip to main content

Trinity College Dublin, The University of Dublin

Trinity Menu Trinity Search

You are here Publications



Year Authors Title
  1988 Leivant, D., Fernando, T. Meager and replete failures of relative completeness Journal of the ACM, 35(4), pp953-964
  1989 Fernando, T. On substitutional recursion over non-well-founded sets Fourth Annual Symposium on Logic in Computer Science
  1990 Fernando, T. On the logic of situation theory In Situation theory and its applications, pp97-116
  1991 Fernando, T. Provably recursive programs and program extraction Proceedings, ICALP `91, pp303-313
  1992 Fernando, T. Transition systems and dynamic semantics Logics in AI, pp232-251
  1992 Fernando, T. A primitive recursive set theory and AFA: on the logical complexity of the largest bisimulation Computer Science Logic `91, pp96-110
  1993 Fernando, T. The donkey strikes back: extending the dynamic interpretation "constructively." Proceedings, Sixth Conference of the European Chapter of the Association for Computational Linguistics `93
  1993 Fernando, T. A higher-order extension of constraint programming in discourse analysis Principles and Practice of Constraint Programming (PPCP'93)
  1993 Fernando, T. Comparative transition system semantics Computer Science Logic: Selected Papers from CSL `92, pp149-166
  1993 Fernando, T. Generalized quantifiers as second-order programs "dynamically" speaking, naturally Proceedings, Ninth Amsterdam Colloquium
  1994 Fernando, T. What is a DRS? Integrating Semantic Theories II
  1994 Fernando, T. Bisimulations and predicate logic Journal of Symbolic Logic, 59(3), pp924-944
  1995 Fernando, T. Computational foundations for dynamic accounts of presuppositions Workshop on Computational Logic for Natural Language Processing
  1995 Fernando, T. A logical connective for ambiguity requiring disambiguation Ellipsis, Underspecification, Events and More in Dynamic Semantics
  1995 Fernando, T. Non-monotonic consequences of preferential contextual disambiguation Proceedings Tenth Amsterdam Colloquium
  1996 Fernando, T. A persistent notion of truth in dynamic semantics Logic, Language and Computation, pp199-219
  1996 Fernando, T. and Kamp, H. Expecting Many Proceeedings, Sixth Semantic and Linguistic Theory conference, pp53-68
  1997 Fernando, T. Ambiguity under changing contexts Linguistics and Philosophy, 20(6), pp575-606
  1998 Fernando, T. In conjunction with qualitative probability Annals of Pure and Applied Logic, 92(3), pp217-234
  1999 Fernando, T. Ambiguous propositions typed Proceedings, Ninth Conference of the European Chapter of the Association for Computational Linguistics `99, pp86-93
  1999 Fernando, T., Asher, N. Labeled representations, underspecification and disambiguation Computing Meaning, pp73-94
  1999 Fernando, T. Relating two theories of meaning relations Workshop on Theoretical Bases for Semantics and Pragmatics in NLP, in Conjunction with the TALN'99 conference on Natural Language Processing, Institut d'Etudes
  1999 Fernando, T. Non-monotonicity from constructing semantic representations Proceedings, Twelfth Amsterdam Colloquium, pp7-12
  1999 Fernando, T. A modal logic for non-deterministic discourse processing Journal of Logic, Language and Information, 8(4), pp445-468
  2000 Fernando, T. Between proofs and models: presuppositions Inference in Computational Semantics (ICoS-2)
  2001 Fernando, T. A type reduction from proof-conditional to dynamic semantics Journal of Philosophical Logic, 30(2), pp121-153. DOI:
  2001 Fernando, T. Conservative generalized quantifiers and presupposition Proceedings, Eleventh Semantic and Linguistic Theory conference (SALT XI), pp172-191. DOI:
  2001 Fernando, T. Ambiguous discourse in a compositional context: An operational perspective Journal of Logic, Language and Information, 10(1), pp63-86
  2002 Tim Fernando Three processes in natural language interpretation , pp208-227
  2002 Fernando, T. A finite-state approach to event semantics Proceedings, Ninth International Symposium on Temporal Representation and Reasoning (TIME-02), pp124-131. DOI:
  2002 Fernando, T. Between events and worlds under historical necessity Proceedings, Seventh Symposium on Logic and Language, pp27-36
  2002 Fernando, T. Towards a many-dimensional modal logic for semantic processing Advances in Modal Logic, Volume 3, pp139-151
  2003 Fernando, T. Reichenbach's E, R and S in a finite-state setting Proceedings, Sinn und Bedeutung 2003 (SuB VIII), pp111-122
  2003 Fernando, T. Causation and inertia over strings Proceedings, Fourteenth Amsterdam Colloquium, pp111-116
  2004 Tim Fernando Are context change potentials functions? Context-Dependence in the Analysis of Linguistic Meaning, pp117-136
  2004 Fernando, T. Inertia in temporal modification Proceedings, Fourteenth Semantic and Linguistic Theory Conference. DOI:
  2004 Fernando, T. A finite-state approach to events in natural language semantics Journal of Logic and Computation, 14(1), pp79-92. DOI:
  2005 Tim Fernando Compositionality inductively, co-inductively and contextually The Compositionality of Meaning and Content, pp87-96
  2005 Tim Fernando Schedules in a temporal interpretation of modals Journal of Semantics, 22, pp211-229. DOI:
  2005 Tim Fernando Events from temporal logic to regular languages with branching 10th Formal Grammar and 9th Mathematics of Language, pp27-38
  2005 Tim Fernando Comic relief for anankastic conditionals Fifteenth Amsterdam Colloquium, pp71-76
  2005 Tim Fernando and Rowan Nairn Entailments in finite-state temporality Sixth International Workshop on Computational Semantics, pp128-138
  2006 Tim Fernando Representing events and discourse: comments on Hamm, Kamp and van Lambalgen Theoretical Linguistics, 32(1), pp57-64. DOI:
  2006 Tim Fernando Finite-state temporal projection Implementation and Application of Automata, 4094, pp230-241. DOI:
  2006 Tim Fernando Situations as strings Electronic Notes in Theoretical Computer Science, 165, pp23-36. DOI:
  2007 Tim Fernando Clauses as types LogKCA-07, pp67-79
  2007 Tim Fernando Temporal propositions as regular languages Language, Representation and Reasoning, pp167-187
  2007 Tim Fernando Finite-state descriptions for temporal semantics Computing Meaning, pp347-368
  2007 Tim Fernando Observing events and situations in time Linguistics and Philosophy, 30(5), pp527-550. DOI:
  2008 Tim Fernando Situations from events to proofs Meaning, Intentions, and Argumentation, pp113-129

Page: 1 of 2  Records: 87
Page 1 2