Symbolic Model Checking of Tense Logics on Rational Kripke Models

DOI10.1007/978-3-642-03092-5_2zbMath1258.68093OpenAlexW1755755119MaRDI QIDQ3644790

Wilmari Bekker, Valentin F. Goranko

Publication date: 12 November 2009

Published in: Infinity in Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03092-5_2

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (2)

On Boolean closed full trios and rational Kripke frames ⋮ Model Checking FO(R) over One-Counter Processes and beyond

This page was built for publication: Symbolic Model Checking of Tense Logics on Rational Kripke Models