Intentional
发表于 2025-4-1 05:33:01
Quantified ,: Expressiveness and Model Checkingferent semantics (depending whether propositional quantification refers to the Kripke structure or to its unwinding tree), we study its expressiveness (showing in particular that . coincides with Monadic Second-Order Logic for both semantics) and characterize the complexity of its model-checking pro
Goblet-Cells
发表于 2025-4-1 08:27:07
http://reply.papertrans.cn/23/2205/220456/220456_62.png