Bosse, U. (1992). An "Ehrenfeucht-Fra ss e game" for fixpoint and stratified fixpoint logic. Lecture Notes in Computer Science, 702, 100114. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Model Checking and Other Games - Stirling (1996) (1 citation) (Correct)
....class of processes for which the two logics are equi expressive needs further work. However one way that we can contrast M and 2M is to use games that are extensions of the bisimulation games defined earlier (and should be compared with FP and monadic second order logic EhrenfeuchtFra ss e games [4, 16]) 3.5 Fixed point and second order games Throughout this section we assume that the set A of actions is finite. This is essential to the proofs of the results below. In section 3.2 we defined the modal depth of M formulas, and the subsequent sublogics M k and showed that they can be ....
Bosse, U. (1992). An "Ehrenfeucht-Fra ss e game" for fixpoint and stratified fixpoint logic. Lecture Notes in Computer Science, 702, 100114.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC