most citedProof Systems for the Modal -Calculus Obtained by Determinizing Automata

1 citations · 1 across the 1 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2023★ 1 cited

Proof Systems for the Modal -Calculus Obtained by Determinizing Automata

Maurice Dekker, Johannes Kloibhofer, Johannes Marti +1

Automata operating on infinite objects feature prominently in the theory of the modal -calculus. One such application concerns the tableau games introduced by Niwiński & Walukie…