Searching for "Fixed-Point Logic with the Approximation Modality and Its Kripke Completeness." – sorted by Relevance.
-
Fixed-Point Logic With the Approximation
- Fixed-point logic with the approximation modality and its Kripke completeness Hiroshi Nakano
- Add To MetaCart

