Category: fixpoint linguistics solely deals with X
-
operational and fixpoint linguistics solely manage the case wherever Y could be a set of ground atomic formulas. Moreover
operational semantics ~s proof theory and fixpoint linguistics is model theory. On the opposite hand