An interval logic for natural language semantics

zbMATH Open1244.03102MaRDI QIDQ3085166FDOQ3085166

Savas Konur

Publication date: 30 March 2011

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

zbMATH Keywords

complexitydecidabilityinterval temporal logicsnatural language semanticstemporal prepositionstableau-methods

Mathematics Subject Classification ID

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

Cited In (11)

• Spiking neural P systems: matrix representation and formal verification
• Title not available (Why is that?)
• Choosing a logic to represent the semantics of natural language
• A single-type logic for natural language
• Interval relations in lexical semantics of verbs
• Title not available (Why is that?)
• Temporal prepositions and their logic
• Internal and Interval Semantics for CP-Comparatives
• A unifying semantics for time and events
• An event-based fragment of first-order logic over intervals
• Title not available (Why is that?)

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)