Situations as Strings

DOI10.1016/j.entcs.2006.05.035zbMath1262.03046OpenAlexW2095215905MaRDI QIDQ4917987

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

stringstemporal logicobservationssituations

Mathematics Subject Classification ID

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

Related Items

A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions ⋮ Frames as Records

Cites Work

• Records and Record Types in Semantic Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item