Fernando, Tim Prior and temporal sequences for natural language. (English) Zbl 1396.03075 Synthese 193, No. 11, 3625-3637 (2016). MSC: 03B65 03B44 03A05 PDF BibTeX XML Cite \textit{T. Fernando}, Synthese 193, No. 11, 3625--3637 (2016; Zbl 1396.03075) Full Text: DOI
Fernando, Tim Types from frames as finite automata. (English) Zbl 06658629 Foret, Annie (ed.) et al., Formal grammar. 20th and 21st international conferences, FG 2015, Barcelona, Spain, August 2015. Revised selected papers. FG 2016, Bozen, Italy, August 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-53041-2/pbk; 978-3-662-53042-9/ebook). Lecture Notes in Computer Science 9804, 19-40 (2016). MSC: 68Q42 PDF BibTeX XML Cite \textit{T. Fernando}, Lect. Notes Comput. Sci. 9804, 19--40 (2016; Zbl 06658629) Full Text: DOI
Fernando, Tim Segmenting temporal intervals for tense and aspect. (English) Zbl 1376.03019 Kornai, András (ed.) et al., The 13th meeting on the mathematics of language. Proceedings of the meeting, MoL 13, Sofia, Bulgaria, August 9, 2013. Stroudsburg, PA: Association for Computational Linguistics (ISBN 978-1-937284-65-7). 30-40 (2013). MSC: 03B44 03B65 PDF BibTeX XML Cite \textit{T. Fernando}, in: The 13th meeting on the mathematics of language. Proceedings of the meeting, MoL 13, Sofia, Bulgaria, August 9, 2013. Stroudsburg, PA: Association for Computational Linguistics. 30--40 (2013; Zbl 1376.03019) Full Text: Link
Fernando, Tim Steedman’s temporality proposal and finite automata. (English) Zbl 1366.91132 Aloni, Maria (ed.) et al., Logic, language and meaning. 18th Amsterdam colloquium, Amsterdam, The Netherlands, December 19–21, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-31481-0/pbk). Lecture Notes in Computer Science 7218, 301-310 (2012). MSC: 91F20 68Q45 PDF BibTeX XML Cite \textit{T. Fernando}, Lect. Notes Comput. Sci. 7218, 301--310 (2012; Zbl 1366.91132) Full Text: DOI
Fernando, Tim Constructing situations and time. (English) Zbl 1231.03030 J. Philos. Log. 40, No. 3, 371-396 (2011). MSC: 03B65 PDF BibTeX XML Cite \textit{T. Fernando}, J. Philos. Log. 40, No. 3, 371--396 (2011; Zbl 1231.03030) Full Text: DOI
Fernando, Tim Temporal propositions as vague predicates. (English) Zbl 1298.03088 Aloni, Maria (ed.) et al., Logic, language and meaning. 17th Amsterdam colloquium, Amsterdam, The Netherlands, December 16–18, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-14286-4/pbk). Lecture Notes in Computer Science 6042. Lecture Notes in Artificial Intelligence, 143-152 (2010). MSC: 03B65 PDF BibTeX XML Cite \textit{T. Fernando}, Lect. Notes Comput. Sci. 6042, 143--152 (2010; Zbl 1298.03088) Full Text: DOI
Fernando, Tim Situations in LTL as strings. (English) Zbl 1187.68631 Inf. Comput. 207, No. 10, 980-999 (2009). MSC: 68T50 PDF BibTeX XML Cite \textit{T. Fernando}, Inf. Comput. 207, No. 10, 980--999 (2009; Zbl 1187.68631) Full Text: DOI
Fernando, Tim Situations as strings. (English) Zbl 1262.03046 Mints, G. (ed.) et al., Proceedings of the 13th workshop on logic, language, information and computation (WoLLIC 2006), Stanford, CA, USA, July 18–21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 165, 23-36 (2006). MSC: 03B65 03B44 68T50 PDF BibTeX XML Cite \textit{T. Fernando}, Electron. Notes Theor. Comput. Sci. 165, 23--36 (2006; Zbl 1262.03046) Full Text: DOI
Fernando, Tim Finite-state temporal projection. (English) Zbl 1160.03301 Ibarra, Oscar H. (ed.) et al., Implementation and application of automata. 11th international conference, CIAA 2006, Taipei, Taiwan, August 21–23, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37213-4/pbk). Lecture Notes in Computer Science 4094, 230-241 (2006). MSC: 03B44 68Q45 68T27 PDF BibTeX XML Cite \textit{T. Fernando}, Lect. Notes Comput. Sci. 4094, 230--241 (2006; Zbl 1160.03301) Full Text: DOI
Fernando, Tim A finite-state approach to events in natural language semantics. (English) Zbl 1156.68598 J. Log. Comput. 14, No. 1, 79-92 (2004). MSC: 68T50 18C50 68Q45 PDF BibTeX XML Cite \textit{T. Fernando}, J. Log. Comput. 14, No. 1, 79--92 (2004; Zbl 1156.68598) Full Text: DOI
Fernando, Tim Towards a many-dimensional modal logic for semantic processing. (English) Zbl 1031.03055 Wolter, Frank (ed.) et al., Advances in modal logic. Vol. 3. Proceedings of the 3rd AiML workshop, Leipzig, Germany, October 4-7, 2000. Singapore: World Scientific. 139-151 (2002). MSC: 03B65 03B45 68T50 PDF BibTeX XML Cite \textit{T. Fernando}, in: Advances in modal logic. Vol. 3. Proceedings of the 3rd AiML workshop, Leipzig, Germany, October 4--7, 2000. Singapore: World Scientific. 139--151 (2002; Zbl 1031.03055)
Fernando, Tim Three processes in natural language interpretation. (English) Zbl 1022.03012 Sieg, Wilfried (ed.) et al., Reflections on the foundations of mathematics. Essays in honor of Solomon Feferman. Natick, MA: A K Peters. Lect. Notes Log. 15, 208-227 (2002). Reviewer: Jean Pallo (Dijon) MSC: 03B65 PDF BibTeX XML Cite \textit{T. Fernando}, Lect. Notes Log. 15, 208--227 (2002; Zbl 1022.03012)
Fernando, Tim A type reduction from proof-conditional to dynamic semantics. (English) Zbl 0986.03006 J. Philos. Log. 30, No. 2, 121-153 (2001). MSC: 03A05 03B65 PDF BibTeX XML Cite \textit{T. Fernando}, J. Philos. Log. 30, No. 2, 121--153 (2001; Zbl 0986.03006) Full Text: DOI
Fernando, Tim Ambiguous discourse in a compositional context. An operational perspective. (English) Zbl 0958.03019 J. Logic Lang. Inf. 10, No. 1, 63-86 (2001). MSC: 03B65 68T50 PDF BibTeX XML Cite \textit{T. Fernando}, J. Logic Lang. Inf. 10, No. 1, 63--86 (2001; Zbl 0958.03019) Full Text: DOI
Fernando, Tim A modal logic for non-deterministic discourse processing. (English) Zbl 0947.03043 J. Logic Lang. Inf. 8, No. 4, 445-468 (1999). Reviewer: P.Materna (Praha) MSC: 03B65 03B45 68T50 PDF BibTeX XML Cite \textit{T. Fernando}, J. Logic Lang. Inf. 8, No. 4, 445--468 (1999; Zbl 0947.03043) Full Text: DOI
Fernando, Tim In conjunction with qualitative probability. (English) Zbl 0929.03029 Ann. Pure Appl. Logic 92, No. 3, 217-234 (1998). MSC: 03B48 03C80 PDF BibTeX XML Cite \textit{T. Fernando}, Ann. Pure Appl. Logic 92, No. 3, 217--234 (1998; Zbl 0929.03029) Full Text: DOI
Fernando, Tim A persistent notion of truth in dynamic semantics. (English) Zbl 0861.03022 Seligman, Jerry (ed.) et al., Logic, language and computation. Vol. 1. Proceedings of the conference on information-oriented approaches to logic, language and computation, Moraga, CA, USA, June 12–15, 1994. Stanford, CA: Center for the Study of Language and Information (CSLI). CSLI Lect. Notes. 58, 199-219 (1996). MSC: 03B65 03B60 03A05 PDF BibTeX XML Cite \textit{T. Fernando}, in: Logic, language and computation. Vol. 1. Proceedings of the conference on information-oriented approaches to logic, language and computation, Moraga, CA, USA, June 12--15, 1994. Stanford, CA: Center for the Study of Language and Information (CSLI). 199--219 (1996; Zbl 0861.03022)
Fernando, Tim Bisimulations and predicate logic. (English) Zbl 0809.03018 J. Symb. Log. 59, No. 3, 924-944 (1994). Reviewer: D.Gruska (Bratislava) MSC: 03B70 68Q55 PDF BibTeX XML Cite \textit{T. Fernando}, J. Symb. Log. 59, No. 3, 924--944 (1994; Zbl 0809.03018) Full Text: DOI
Fernando, Tim Comparative transition system semantics. (English) Zbl 0788.68089 Börger, Egon (ed.) et al., Computer science logic. 6th workshop, CSL ’92, San Miniato, Italy, September 28 - October 2, 1992. Selected papers. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 702, 149-166 (1993). MSC: 68Q55 68Q85 68Q10 PDF BibTeX XML Cite \textit{T. Fernando}, Lect. Notes Comput. Sci. 702, 149--166 (1993; Zbl 0788.68089)
Fernando, Tim Transition systems and dynamic semantics. (English) Zbl 0925.03153 Pearce, David (ed.) et al., Logics in AI. European workshop JELIA ’92. Berlin, Germany, September 7–10, 1992. Berlin: Springer. Lect. Notes Comput. Sci. 633, 232-251 (1992). MSC: 03B70 03C99 68Q55 PDF BibTeX XML Cite \textit{T. Fernando}, Lect. Notes Comput. Sci. 633, 232--251 (1992; Zbl 0925.03153)
Fernando, T. A primitive recursive set theory and AFA: On the logical complexity of the largest bisimulation. (English) Zbl 0783.03031 Börger, Egon (ed.) et al., Computer science logic. 5th workshop, CSL ’91, Berne, Switzerland, October 7-11, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 626, 96-110 (1992). Reviewer: N.Curteanu (Iaşi) MSC: 03F30 68Q10 68Q55 03C65 PDF BibTeX XML Cite \textit{T. Fernando}, Lect. Notes Comput. Sci. 626, 96--110 (1992; Zbl 0783.03031)
Fernando, Tim Provably recursive programs and program extraction. (English) Zbl 0769.68092 Automata, languages and programming, Proc. 18th Int. Colloq., Madrid/Spain 1991, Lect. Notes Comput. Sci. 510, 303-313 (1991). MSC: 68Q60 03F40 03D20 PDF BibTeX XML Cite \textit{T. Fernando}, Lect. Notes Comput. Sci. 510, 303--313 (1991; Zbl 0769.68092)