A Presheaf Semantics for Quantified Temporal Logics
From MaRDI portal
Abstract: 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.
This page was built for publication: A Presheaf Semantics for Quantified Temporal Logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6382374)
