scientific article; zbMATH DE number 7356851

zbMath1464.03019arXiv1307.4468MaRDI QIDQ4992506

No author found.

Publication date: 9 June 2021

Full work available at URL: https://arxiv.org/abs/1307.4468

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)

Related Items (2)

Deciding $$\mathsf {ATL^*}$$ Satisfiability by Tableaux ⋮ A goal-directed decision procedure for hybrid PDL

This page was built for publication: