An event-based fragment of first-order logic over intervals

DOI10.1007/s10849-010-9126-5zbMath1231.03009OpenAlexW2083567520MaRDI QIDQ2429992

Savas Konur

Publication date: 5 April 2011

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-010-9126-5

zbMATH Keywords

decidabilitytableau methodsinterval temporal logicstwo-variable fragments of first-order logic

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Unnamed Item
• Temporal constraint networks
• On logics with two variables
• Temporal prepositions and their logic
• A general tableau method for propositional interval temporal logics: theory and implementation
• Two variable first-order logic over ordered domains
• A Modal Logic for Chopping Intervals
• On languages with two variables
• A propositional modal logic of time intervals
• On the Decision Problem for Two-Variable First-Order Logic
• On the Restraining Power of Guards
• Automated Reasoning with Analytic Tableaux and Related Methods

This page was built for publication: An event-based fragment of first-order logic over intervals