Temporal logics for compartmental models-Reference-Cited by-同舟云学术

Temporal logics for compartmental models

Published:2024-05-08 Issue: Volume: Page:
ISSN:0955-792X
Container-title:Journal of Logic and Computation
language:en
Short-container-title:

Author:

Machado Vitor¹,Benevides Mario²

Affiliation:

1. Systems Engineering and Computer Science Program , Federal University of Rio de Janeiro, Rua Moniz Aragão N o 360, Rio de Janeiro, 21941-594, Rio de Janeiro, Brazil

2. Computing Institute , Fluminense Federal University, Rua Miguel de Frias, 9, Niterói, 24220-900, Rio de Janeiro , Brazil

Abstract

Abstract This paper introduces two logic frameworks for the study of SIR (Susceptible-Infected-Recovered) and SIRS compartmental epidemic models, one based on Linear Temporal Logic and the other on Computation Tree Logic. We provide a short literature overview on compartmental models and other related works using logics, and then define our logics with their respective axiomatizations, and demonstrate their soundness and completeness proofs.

Publisher

Oxford University Press (OUP)

Link

https://academic.oup.com/logcom/advance-article-pdf/doi/10.1093/logcom/exae021/57452062/exae021.pdf

Reference20 articles.

1. Temporal logic for social networks;Machado;Journal of Logic and Computation,2022

2. The nuXmv symbolic model checker;Cavada,2014

3. An application of the theory of probabilities to the study of a priori pathometry. Part I;Ross;Proceedings of the Royal Society of London. Series A, Containing Papers of a Mathematical and Physical Character,1916

4. A contribution to the mathematical theory of epidemics;Kermack;Proceedings of the Royal Society of London. Series A, Containing Papers of a Mathematical and Physical Character,1927

5. Networks and epidemic models;Keeling;Journal of the Royal Society Interface,2005