We investigate the Branching space-times logic in a dynamic setting. We present a new logic, called Dynamic branching logic and show some of its basic properties
International audienceWe revisit the type-theoretic dynamic logic introduced by de Groote (2006) and...
This paper introduces (general) temporalized logic (similar to [6]) and discusses answers on these q...
We define extensions of the full branching-time temporal logic CTL ∗ in which the path quantifiers a...
Many temporal logics were suggested as branching time specification formalisms during the last 20 ye...
AbstractMany temporal logics have been suggested as branching time specification formalisms during t...
Many temporal logics have been suggested as branching time specification formalisms during the past ...
We introduce a first-order temporal logic for reasoning about branching time. It is well known that ...
Abstract. We give a brief introduction to the axiomatization of temporal logics. Branching continuat...
An expressive branching time logic is introduced. Its power allows us to describe the local structur...
An expression branching time logic is introduced. Its power allows us to describe the local structur...
The theory of branching space-times, put forward by Belnap (Synthese 92, 1992), considers indetermin...
Two main areas of temporal logics are those of linear time and of branching time. Linear orders, tho...
This monograph presents the first detailed exposition of the formal theory of Branching Space-Times....
In this paper we present BTC, which is a complete logic for branchingtime whose modal operator quant...
This paper investigates logical aspects of combining linear orders as semantics for modal and tempor...
International audienceWe revisit the type-theoretic dynamic logic introduced by de Groote (2006) and...
This paper introduces (general) temporalized logic (similar to [6]) and discusses answers on these q...
We define extensions of the full branching-time temporal logic CTL ∗ in which the path quantifiers a...
Many temporal logics were suggested as branching time specification formalisms during the last 20 ye...
AbstractMany temporal logics have been suggested as branching time specification formalisms during t...
Many temporal logics have been suggested as branching time specification formalisms during the past ...
We introduce a first-order temporal logic for reasoning about branching time. It is well known that ...
Abstract. We give a brief introduction to the axiomatization of temporal logics. Branching continuat...
An expressive branching time logic is introduced. Its power allows us to describe the local structur...
An expression branching time logic is introduced. Its power allows us to describe the local structur...
The theory of branching space-times, put forward by Belnap (Synthese 92, 1992), considers indetermin...
Two main areas of temporal logics are those of linear time and of branching time. Linear orders, tho...
This monograph presents the first detailed exposition of the formal theory of Branching Space-Times....
In this paper we present BTC, which is a complete logic for branchingtime whose modal operator quant...
This paper investigates logical aspects of combining linear orders as semantics for modal and tempor...
International audienceWe revisit the type-theoretic dynamic logic introduced by de Groote (2006) and...
This paper introduces (general) temporalized logic (similar to [6]) and discusses answers on these q...
We define extensions of the full branching-time temporal logic CTL ∗ in which the path quantifiers a...
DOI
Add to ORKG