Functional systems in the context of temporal×modal logics with indexed flows

DOI10.1080/00207160902795619zbMath1182.03038OpenAlexW2045097267MaRDI QIDQ3643153

Emilio Muñoz-Velasco, Alfredo Burrieza, Inma P. de Guzmán

Publication date: 10 November 2009

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207160902795619

zbMATH Keywords

modal logicdefinabilitytemporal logicfunctional axiomatic systemstemporal flow

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Temporal logic (03B44)

Related Items (1)

Analyzing completeness of axiomatic functional systems for temporal × modal logics

Cites Work

• A multiprocess network logic with temporal and spatial modalities
• A functional approach for temporal \(\times\) modal logics
• A knowledge based semantics of messages
• Combinations of modal logics
• Compositional verification of multi-agent systems in temporal multi-epistemic logic
• Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
• Temporal Logics of Knowledge and their Applications in Security
• Time, clocks, and the ordering of events in a distributed system
• Generalization of some properties of relations in the context of functional temporal×modal logic
• Modal logic as dialogical logic

This page was built for publication: Functional systems in the context of temporal×modal logics with indexed flows