The following pages link to Tim Fernando (Q185570):
Displayed 24 items.
- Prior and temporal sequences for natural language (Q516415) (← links)
- Constructing situations and time (Q543532) (← links)
- Situations in LTL as strings (Q731890) (← links)
- In conjunction with qualitative probability (Q1295377) (← links)
- Ambiguous discourse in a compositional context. An operational perspective (Q1841519) (← links)
- A modal logic for non-deterministic discourse processing (Q1961953) (← links)
- Types from Frames as Finite Automata (Q2835042) (← links)
- Between the Event Calculus and Finite State Temporality (Q2835048) (← links)
- Steedman’s Temporality Proposal and Finite Automata (Q3168605) (← links)
- Meager and replete failures of relative completeness (Q3493437) (← links)
- (Q4036572) (← links)
- (Q4244302) (← links)
- (Q4283236) (← links)
- Bisimulations and predicate logic (Q4314681) (← links)
- (Q4430397) (← links)
- A Finite-state Approach to Events in Natural Language Semantics (Q4461353) (← links)
- (Q4552495) (← links)
- (Q4599178) (← links)
- (Q4793032) (← links)
- Situations as Strings (Q4917987) (← links)
- Temporal Propositions as Vague Predicates (Q4933255) (← links)
- (Q5691501) (← links)
- Finite-State Temporal Projection (Q5757228) (← links)
- A type reduction from proof-conditional to dynamic semantics (Q5935790) (← links)