Modal Logic for Qualitative Dynamics

DOI10.1007/978-94-007-0074-1_5zbMath1256.03027OpenAlexW21647633MaRDI QIDQ2902942

Darko Sarenac

Publication date: 23 August 2012

Published in: Dynamic Formal Epistemology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-0074-1_5

zbMATH Keywords

complex systemiterative function systemdynamic modal logic

Mathematics Subject Classification ID

Topological dynamics (37B99) Modal logic (including the logic of norms) (03B45)

Related Items (2)

Model Transformers for Dynamical Systems of Dynamic Epistemic Logic ⋮ Intensional protocols for dynamic epistemic logic

This page was built for publication: Modal Logic for Qualitative Dynamics