Alexander Bolotov

Available identifiers

Publication	Date of Publication	Type
On the expressive power of the normal form for branching-time temporal logics	2025-01-09	Paper
One-pass Context-based Tableaux Systems for CTL and ECTL	2023-11-02	Paper
Towards certified model checking for PLTL using one-pass tableaux	2023-02-03	Paper
Tableaux and sequent calculi for \textsf{CTL} and \textsf{ECTL}: satisfiability test with certifying proofs and models	2022-11-16	Paper
https://portal.mardi4nfdi.de/entity/Q5869518	2022-09-28	Paper
Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach	2022-05-28	Paper
Branching-time logic \(\mathsf{ECTL}^{\#}\) and its tree-style one-pass tableau: extending fairness expressibility of \(\mathsf{ECTL}^+\)	2020-04-21	Paper
A clausal resolution method for branching-time logic \(\text{ECTL}^+\)	2007-01-24	Paper
A clausal resolution method for extended computation tree logic ECTL	2006-06-30	Paper
A clausal resolution method for CTL branching-time temporal logic	1999-01-01	Paper

This page was built for person: Alexander Bolotov