Search Results for author:
Found 6 papers, 0 papers with code
Gödel-Dummett linear temporal logic
We then show that these two semantics indeed define one and the same logic: the statements that are valid for the real-valued semantics are the same as those that are valid for the bi-relational semantics.
Intuitionistic Linear Temporal Logics
We consider intuitionistic variants of linear temporal logic with `next', `until' and `release' based on expanding posets: partial orders equipped with an order-preserving transition function.
Bisimulations for intuitionistic temporal logics
We introduce bisimulations for the logic $ITL^e$ with `next', `until' and `release', an intuitionistic temporal logic based on structures equipped with a partial order used to interpret intuitionistic implication and a monotone function used to interpret the temporal modalities.
Logic Logic in Computer Science
A Decidable Intuitionistic Temporal Logic
We introduce the logic $\sf ITL^e$, an intuitionistic temporal logic based on structures $(W,\preccurlyeq, S)$, where $\preccurlyeq$ is used to interpret intuitionistic implication and $S$ is a $\preccurlyeq$-monotone function used to interpret temporal modalities.
Logic
Exploring the bidimensional space: A dynamic logic point of view
We present a family of logics for reasoning about agents' positions and motion in the plane which have several potential applications in the area of multi-agent systems (MAS), such as multi-agent planning and robotics.
Evidence and plausibility in neighborhood structures
The intuitive notion of evidence has both semantic and syntactic features.
