Situations as Strings

DOI10.1016/J.ENTCS.2006.05.035MaRDI QIDQ4917987zbMATH OpenOpenAlexFDO

Authors Tim Fernando

Publication date 3 May 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2006.05.035

zbMATH Keywords

observationssituationsstringstemporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Logic of natural languages (03B65) Natural language processing (68T50)

Recommendations

• Situations in LTL as strings
• Strings
• A different kind of string
• Confining strings
• scientific article; zbMATH DE number 4128033
• Unpredictable strings
• Strings, Chains, and Ropes
• scientific article; zbMATH DE number 5722364

Cites work

• scientific article; zbMATH DE number 3763899 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 510787 (Why is no real title available?)
• scientific article; zbMATH DE number 1028823 (Why is no real title available?)
• scientific article; zbMATH DE number 783772 (Why is no real title available?)
• scientific article; zbMATH DE number 1442964 (Why is no real title available?)
• scientific article; zbMATH DE number 3271460 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• Records and Record Types in Semantic Theory
• The situations we talk about

Cited in

(5)

• The situations we talk about
• Frames as records
• Constructing situations and time
• A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions
• Situations in LTL as strings

This page was built for publication: Situations as Strings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4917987)