Add to ORKGAbstract Trees with indistinguishability relations provide a semantics for a tempo-ral language “composed by ” the Peircean tense operators and the Ockhamist modal operator. In this paper, a finite axiomatization with a non standard rule for this lan-guage interpreted over bundled trees with indistinguishability relations is given. This axiomatization is proved to be sound and strongly complete
Many temporal logics have been suggested as branching time specification formalisms during the past ...
AbstractA major result concerning temporal logics is Kamp’s Theorem which states that the pair of mo...
An expressive branching time logic is introduced. Its power allows us to describe the local structur...
Trees with indistinguishability relations provide a semantics for a temporal language “composed by” ...
This paper investigates logical aspects of combining linear orders as semantics for modal and tempor...
This dissertation presents original results in Temporal Logic and Spatial Logic. Part I concerns Bra...
Two main areas of temporal logics are those of linear time and of branching time. Linear orders, tho...
This paper investigates logical aspects of combining linear orders as semantics for modal and tempor...
This paper deals with structures in which T is a tree and I is a function assigning each moment a p...
We introduce a first-order temporal logic for reasoning about branching time. It is well known that ...
The aim of this paper is to present a new perspective under which branching-time semantics can be vi...
Logics of general branching time, or historical necessity, have long been studied but important axio...
Allen's Interval Algebra is one of the most prominent formalisms in the area of qualitative temporal...
We introduce hybrid Ockhamist temporal logic, which combines the mechanisms of hybrid logic with Ock...
AbstractA propositional logic is expressively complete if there is a finite set of connectives which...
Many temporal logics have been suggested as branching time specification formalisms during the past ...
AbstractA major result concerning temporal logics is Kamp’s Theorem which states that the pair of mo...
An expressive branching time logic is introduced. Its power allows us to describe the local structur...
Trees with indistinguishability relations provide a semantics for a temporal language “composed by” ...
This paper investigates logical aspects of combining linear orders as semantics for modal and tempor...
This dissertation presents original results in Temporal Logic and Spatial Logic. Part I concerns Bra...
Two main areas of temporal logics are those of linear time and of branching time. Linear orders, tho...
This paper investigates logical aspects of combining linear orders as semantics for modal and tempor...
This paper deals with structures in which T is a tree and I is a function assigning each moment a p...
We introduce a first-order temporal logic for reasoning about branching time. It is well known that ...
The aim of this paper is to present a new perspective under which branching-time semantics can be vi...
Logics of general branching time, or historical necessity, have long been studied but important axio...
Allen's Interval Algebra is one of the most prominent formalisms in the area of qualitative temporal...
We introduce hybrid Ockhamist temporal logic, which combines the mechanisms of hybrid logic with Ock...
AbstractA propositional logic is expressively complete if there is a finite set of connectives which...
Many temporal logics have been suggested as branching time specification formalisms during the past ...
AbstractA major result concerning temporal logics is Kamp’s Theorem which states that the pair of mo...
An expressive branching time logic is introduced. Its power allows us to describe the local structur...