An interval logic for natural language semantics

MaRDI QIDQ3085166zbMATHFDO

Authors Savas Konur

Publication date 30 March 2011

zbMATH Keywords

complexitydecidabilityinterval temporal logicsnatural language semanticstemporal prepositionstableau-methods

Mathematics Subject Classification ID

Logic of natural languages (03B65) Temporal logic (03B44)

Recommendations

• Publication:4952321
• scientific article; zbMATH DE number 3889506
• A Road Map of Interval Temporal Logics and Duration Calculi
• Temporal logics in AI: semantical and ontological considerations
• scientific article; zbMATH DE number 6131597

Cited in

(13)

• scientific article; zbMATH DE number 1444740 (Why is no real title available?)
• Internal and Interval Semantics for CP-Comparatives
• An event-based fragment of first-order logic over intervals
• scientific article; zbMATH DE number 1406020 (Why is no real title available?)
• Spiking neural P systems: matrix representation and formal verification
• How much expressive power is needed for natural language temporal indexicality?
• A unifying semantics for time and events
• A single-type logic for natural language
• Temporal prepositions and their logic
• scientific article; zbMATH DE number 1444732 (Why is no real title available?)
• Segmenting temporal intervals for tense and aspect
• Interval relations in lexical semantics of verbs
• Choosing a logic to represent the semantics of natural language

This page was built for publication: An interval logic for natural language semantics

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