Temporal logics for compartmental models

DOI10.1093/LOGCOM/EXAE021MaRDI QIDQ6915756zbMATH OpenFDO

Authors Vitor Machado, Mario Benevides

Publication date 15 October 2025

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/LOGCOM/EXAE021

zbMATH Keywords

compartmental modelsepidemicslinear temporal logicsocial networks

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• A contribution to the mathematical theory of epidemics.
• A logic for diffusion in social networks
• Adding a temporal dimension to a logic system
• An application of the theory of probabilities to the study of a priori pathometry. Part I.
• Axioms for tense logic. I: 'Since' and 'until'
• Dynamic epistemic logics of diffusion and prediction in social networks
• Fuzzy logic in action: applications in epidemiology and beyond
• scientific article; zbMATH DE number 1749195 (Why is no real title available?)
• Modal logic
• Temporal logic for social networks

This page was built for publication: Temporal logics for compartmental models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6915756)