Add to ORKGWe provide a strongly complete infinitary proof system for hybrid logic. This proof system can be extended with countably many sequents. Thus completeness proofs are provided for infinitary hybrid versions of non-compact logics like ancestral logic and Segerberg's modal logic with the bounded chain condition. This extends the completeness result for hybrid logics by Blackburn and Tzakova
Propositional dynamic logic (PDL) is complete but not compact. As a consequence, strong completeness...
In this article we investigate infinitary propositional logics from the perspective of their complet...
Hybrid logic is a widely-studied extension of basic modal logic, which corresponds to the bounded fr...
We provide a strongly complete infinitary proof system for hybrid logic. This proof system can be ex...
We provide a strongly complete infinitary proof system for hybrid logic. This proof system can be ex...
We provide a strongly complete infinitary proof system for hybrid logic. This proof system can be ex...
We show that every extension of the basic hybrid logic with modal Sahlqvist axioms is complete. As a...
The book stands at the intersection of two topics: the decidability and computational complexity of ...
In recent years the research into hybrid logic ha.s taken flight; a number of advances have been mad...
Abstract. Hybrid logics extend modal logics by first-order concepts, in particular they allow a limi...
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...
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are ...
We investigate expressivity and complexity of hybrid logics on linear structures. Hy-brid logics are...
Propositional dynamic logic (PDL) is complete but not compact. As a consequence, strong completeness...
In this article we investigate infinitary propositional logics from the perspective of their complet...
Hybrid logic is a widely-studied extension of basic modal logic, which corresponds to the bounded fr...
We provide a strongly complete infinitary proof system for hybrid logic. This proof system can be ex...
We provide a strongly complete infinitary proof system for hybrid logic. This proof system can be ex...
We provide a strongly complete infinitary proof system for hybrid logic. This proof system can be ex...
We show that every extension of the basic hybrid logic with modal Sahlqvist axioms is complete. As a...
The book stands at the intersection of two topics: the decidability and computational complexity of ...
In recent years the research into hybrid logic ha.s taken flight; a number of advances have been mad...
Abstract. Hybrid logics extend modal logics by first-order concepts, in particular they allow a limi...
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...
We investigate expressivity and complexity of hybrid logics on linear structures. Hybrid logics are ...
We investigate expressivity and complexity of hybrid logics on linear structures. Hy-brid logics are...
Propositional dynamic logic (PDL) is complete but not compact. As a consequence, strong completeness...
In this article we investigate infinitary propositional logics from the perspective of their complet...
Hybrid logic is a widely-studied extension of basic modal logic, which corresponds to the bounded fr...