Abstract. We consider an extension of modal logic with an operator for constructing inflationary fixed points, just as the modal µ-calculus.
We consider an extension of modal logic with an operator for constructing inflationary fixed points, just as the modal μ-calculus extends basic modal logic ...
In this article, we take a first step in the study of extensions of propositional modal logic by operators that allow us to form fixed points of nonmonotone.
We consider an extension of modal logic with an operator for constructing inflationary fixed points, just as the modal μ-calculus extends basic modal logic ...
People also ask
What is the weakest modal logic?
What is the rule of necessitation in modal logic?
What is the B axiom in modal logic?
What is modal logic vs classical logic?
We consider an extension of modal logic with an operator for constructing inflationary fixed points, just as the modal μ-calculus extends basic modal logic ...
We will present the games in terms of IFP, the extension of first-order logic by inflationary and deflationary fixed points, but the construction applies, with ...
Request PDF | Inflationary fixed points in modal logic. | We consider an extension of modal logic with an operator for constructing.
Fixed-point logics are logics with an explicit operator for forming fixed points of definable mappings. They are particularly well suited for modelling ...
Tags: #fixpoint · #logic · Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Inflationary Fixed Points in Modal Logics. A. Dawar‚ E. Grädel and S. Kreutzer. Book Title. Proc. of the 10th Conf. on Computer Science Logic (CSL).