A presheaf semantics for quantified temporal logics

From MaRDI portal

Publication:6562516

Jump to:navigation, search

DOI10.1007/978-3-031-43345-0_4MaRDI QIDQ6562516

Fabio Gadducci, Davide Trotta

Publication date: 26 June 2024

zbMATH Keywords

counterpart semantics relational presheaves quantified temporal logics

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

This page was built for publication: A presheaf semantics for quantified temporal logics

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6562516&oldid=40092282"