Add to ORKGAbstract. We give a brief introduction to the axiomatization of temporal logics. Branching continuations are shortly presented thereafter and the pos-sibility of their clear syntactical axiomatization in a Hilbert-style system is investigated as last. Some basic preliminary observations and suggestions, how such axiomatization could start, are presented. 1
We define extensions of the full branching-time temporal logic CTL ∗ in which the path quantifiers a...
An expressive branching time logic is introduced. Its power allows us to describe the local structur...
This paper is intended as an attempt to describe logical consequence in branching time logics. We st...
We introduce a first-order temporal logic for reasoning about branching time. It is well known that ...
Two main areas of temporal logics are those of linear time and of branching time. Linear orders, tho...
Logics of general branching time, or historical necessity, have long been studied but important axio...
This paper investigates logical aspects of combining linear orders as semantics for modal and tempor...
We investigate the Branching space-times logic in a dynamic setting. We present a new logic, called ...
I present an expressive temporal logic intended for applica-tions in KR and ontology construction. T...
Many temporal logics were suggested as branching time specification formalisms during the last 20 ye...
It is natural to think of belief revision as the interaction of belief and information over time. Th...
Temporal logic is one of the many areas in which a possible world semantics is adopted. Prior's Ockh...
An expression branching time logic is introduced. Its power allows us to describe the local structur...
This dissertation presents original results in Temporal Logic and Spatial Logic. Part I concerns Bra...
Trees with indistinguishability relations provide a semantics for a temporal language “composed by” ...
We define extensions of the full branching-time temporal logic CTL ∗ in which the path quantifiers a...
An expressive branching time logic is introduced. Its power allows us to describe the local structur...
This paper is intended as an attempt to describe logical consequence in branching time logics. We st...
We introduce a first-order temporal logic for reasoning about branching time. It is well known that ...
Two main areas of temporal logics are those of linear time and of branching time. Linear orders, tho...
Logics of general branching time, or historical necessity, have long been studied but important axio...
This paper investigates logical aspects of combining linear orders as semantics for modal and tempor...
We investigate the Branching space-times logic in a dynamic setting. We present a new logic, called ...
I present an expressive temporal logic intended for applica-tions in KR and ontology construction. T...
Many temporal logics were suggested as branching time specification formalisms during the last 20 ye...
It is natural to think of belief revision as the interaction of belief and information over time. Th...
Temporal logic is one of the many areas in which a possible world semantics is adopted. Prior's Ockh...
An expression branching time logic is introduced. Its power allows us to describe the local structur...
This dissertation presents original results in Temporal Logic and Spatial Logic. Part I concerns Bra...
Trees with indistinguishability relations provide a semantics for a temporal language “composed by” ...
We define extensions of the full branching-time temporal logic CTL ∗ in which the path quantifiers a...
An expressive branching time logic is introduced. Its power allows us to describe the local structur...
This paper is intended as an attempt to describe logical consequence in branching time logics. We st...