Tim Fernando

Available identifiers

zbMath Open fernando.timMaRDI QIDQ185570

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Tim Fernando