Tim Fernando

Available identifiers

zbMath Open fernando.timMaRDI QIDQ185570

List of research outcomes

Publication	Date of Publication	Type
Finite-state descriptions for temporal semantics	2024-05-30	Paper
https://portal.mardi4nfdi.de/entity/Q4599178	2017-12-18	Paper
Prior and temporal sequences for natural language	2017-03-14	Paper
Types from Frames as Finite Automata	2016-12-01	Paper
Between the Event Calculus and Finite State Temporality	2016-12-01	Paper
Situations as Strings	2013-05-03	Paper
Steedman’s Temporality Proposal and Finite Automata	2012-11-01	Paper
Constructing situations and time	2011-06-17	Paper
Temporal Propositions as Vague Predicates	2010-10-12	Paper
Situations in LTL as strings	2009-10-09	Paper
Finite-State Temporal Projection	2007-09-06	Paper
A Finite-state Approach to Events in Natural Language Semantics	2004-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q4430397	2003-10-09	Paper
https://portal.mardi4nfdi.de/entity/Q4793032	2003-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q4552495	2002-11-25	Paper
A type reduction from proof-conditional to dynamic semantics	2002-06-06	Paper
Ambiguous discourse in a compositional context. An operational perspective	2001-02-18	Paper
A modal logic for non-deterministic discourse processing	2000-11-07	Paper
In conjunction with qualitative probability	2000-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4244302	1999-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q5691501	1997-01-29	Paper
Bisimulations and predicate logic	1995-03-29	Paper
https://portal.mardi4nfdi.de/entity/Q4283236	1994-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q4036572	1993-05-18	Paper
Meager and replete failures of relative completeness	1988-01-01	Paper

Research outcomes over time

This page was built for person: Tim Fernando