Alexander Bolotov

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Journal of Logical and Algebraic Methods in Programming	2022-11-16	Paper
scientific article; zbMATH DE number 7594098 (Why is no real title available?)	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}^+\) Theoretical Computer Science	2020-04-21	Paper
A clausal resolution method for branching-time logic \(\text{ECTL}^+\) Annals of Mathematics and Artificial Intelligence	2007-01-24	Paper
A clausal resolution method for extended computation tree logic ECTL Journal of Applied Logic	2006-06-30	Paper
A clausal resolution method for CTL branching-time temporal logic Journal of Experimental & Theoretical Artificial Intelligence	1999-01-01	Paper

Research outcomes over time

This page was built for person: Alexander Bolotov