Dynamic term-modal logic for epistemic social network dynamics

DOI10.1007/978-3-662-60292-8_13OpenAlexW2979945595MaRDI QIDQ2291235

Rasmus K. Rendsvig, Andrés Occhipinti Liberman

Publication date: 30 January 2020

Full work available at URL: https://arxiv.org/abs/1908.09658

zbMATH Keywords

social networksdynamic epistemic logicterm-modal logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (2)

Dynamic term-modal logics for first-order epistemic planning ⋮ Quantifier-free epistemic term-modal logic with assignment operator

This page was built for publication: Dynamic term-modal logic for epistemic social network dynamics