PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic

DOI10.3166/jancl.14.105-148zbMath1181.03011OpenAlexW2058840132MaRDI QIDQ3643268

No author found.

Publication date: 11 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.14.105-148

zbMATH Keywords

interval temporal logicdecision procedureWS1SMONA

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (2)

Verification and enforcement of access control policies ⋮ Compositional reasoning using intervals and time reversal

Uses Software

• MONA
• DCVALID

Cites Work

• Unnamed Item
• Executable temporal logics
• A calculus of durations
• MONA IMPLEMENTATION SECRETS
• Weak Second‐Order Arithmetic and Finite Automata
• Graph-Based Algorithms for Boolean Function Manipulation
• A Modal Logic for Chopping Intervals
• A propositional modal logic of time intervals
• A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection

This page was built for publication: PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic