AbstractThis paper presents a new model construction for a natural cut-free infinitary version Kω+(μ) of the propositional modal μ-calculus. Based on that the completeness of Kω+(μ) and the related system Kω(μ) can be established directly – no detour, for example through automata theory, is needed. As a side result we also obtain a finite, cut-free sound and complete system for the propositional modal μ-calculus
This paper builds on Humberstone's idea of defining models of propositional modal logic where total ...
We explore the proof theory of the modal μ-calculus with converse, aka the ‘full μ-calculus’. Buildi...
This paper builds on Humberstone's idea of defining models of propositional modal logic where total ...
AbstractThis paper presents a new model construction for a natural cut-free infinitary version Kω+(μ...
We explore the proof theory of the modal μ-calculus with converse, aka the ‘full μ-calculus’. Buildi...
Abstract: Segerberg established an analogue of the canonical model theorem in modal logic for infini...
This paper deals with the infinitary modal propositional logic K!1, featuring countable disjunctions...
Segerberg established an analogue of the canonical model theorem in modal logic for infinitary modal...
Abstract Propositional dynamic logic (PDL) is complete but not compact.As a consequence, strong comp...
リサーチレポート（北陸先端科学技術大学院大学情報科学研究科）本文は図書館に配架されています。 / This material is stored in the JAIST library
Abstract Propositional dynamic logic (PDL) is complete but not compact.As a consequence, strong comp...
Propositional dynamic logic (PDL) is complete but not compact. As a consequence, strong completeness...
Abstract. We present an infinitary and a finitary cut–free axiomatization for a fragment of the moda...
AbstractPropositional μ-calculus is an extension of the propositional modal logic with the least fix...
International audienceWe define the class of algebraic models of μ-calculi and study whether every s...
This paper builds on Humberstone's idea of defining models of propositional modal logic where total ...
We explore the proof theory of the modal μ-calculus with converse, aka the ‘full μ-calculus’. Buildi...
This paper builds on Humberstone's idea of defining models of propositional modal logic where total ...
AbstractThis paper presents a new model construction for a natural cut-free infinitary version Kω+(μ...
We explore the proof theory of the modal μ-calculus with converse, aka the ‘full μ-calculus’. Buildi...
Abstract: Segerberg established an analogue of the canonical model theorem in modal logic for infini...
This paper deals with the infinitary modal propositional logic K!1, featuring countable disjunctions...
Segerberg established an analogue of the canonical model theorem in modal logic for infinitary modal...
Abstract Propositional dynamic logic (PDL) is complete but not compact.As a consequence, strong comp...
リサーチレポート（北陸先端科学技術大学院大学情報科学研究科）本文は図書館に配架されています。 / This material is stored in the JAIST library
Abstract Propositional dynamic logic (PDL) is complete but not compact.As a consequence, strong comp...
Propositional dynamic logic (PDL) is complete but not compact. As a consequence, strong completeness...
Abstract. We present an infinitary and a finitary cut–free axiomatization for a fragment of the moda...
AbstractPropositional μ-calculus is an extension of the propositional modal logic with the least fix...
International audienceWe define the class of algebraic models of μ-calculi and study whether every s...
This paper builds on Humberstone's idea of defining models of propositional modal logic where total ...
We explore the proof theory of the modal μ-calculus with converse, aka the ‘full μ-calculus’. Buildi...
This paper builds on Humberstone's idea of defining models of propositional modal logic where total ...
DOI
Add to ORKG