A Presheaf Semantics for Quantified Temporal Logics

11/06/2021
by   Fabio Gadducci, et al.
0

Temporal logics stands for a widely adopted family of formalisms for the verification of computational devices, enriching propositional logics by operators predicating on the step-wise behaviour of a system. Its quantified extensions allow to reason on the properties of the individual components of the system at hand. The expressiveness of the resulting logics poses problems in correctly identifying a semantics that exploit its features without resorting to the imposition of restrictions on the acceptable behaviours. In this paper we address this issue by means of counterpart models and relational presheaves.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

04/09/2021

Topological semantics for paraconsistent and paracomplete logics in Isabelle/HOL

We encode a topological semantics for paraconsistent and paracomplete lo...
02/18/2019

Appendix for: Cut-free Calculi and Relational Semantics for Temporal STIT logics

This paper is an appendix to the paper "Cut-free Calculi and Relational ...
04/22/2019

Cut-free Calculi and Relational Semantics for Temporal STIT Logics

We present cut-free labelled sequent calculi for a central formalism in ...
05/25/2021

Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages

We study the algorithmic properties of first-order monomodal logics of f...
12/21/2019

First-order swap structures semantics for some Logics of Formal Inconsistency

The logics of formal inconsistency (LFIs, for short) are paraconsistent ...
11/10/2017

Logics for modelling collective attitudes

We introduce a number of logics to reason about collective propositional...
03/10/2000

A tableau methodology for deontic conditional logics

In this paper we present a theorem proving methodology for a restricted ...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.