Generalization of some properties of relations in the context of functional temporal×modal logic

DOI10.1080/00207160701210141zbMath1147.03010OpenAlexW2088922614MaRDI QIDQ5459725

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

Publication date: 29 April 2008

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

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

zbMATH Keywords

modal logicdefinabilitytemporal logiclogic in computer science

Mathematics Subject Classification ID

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

Related Items (3)

On the existence and unicity of stable models in normal residuated logic programs ⋮ Functional systems in the context of temporal×modal logics with indexed flows ⋮ Analyzing completeness of axiomatic functional systems for temporal × modal logics

Cites Work

• Unnamed Item
• Computational logic in multi-agent systems: Recent advances and future directions
• A decidable temporal logic of parallelism
• A functional approach for temporal \(\times\) modal logics
• Multi-dimensional modal logic as a framework for spatio-temporal reasoning
• A modal logic for mobile agents

This page was built for publication: Generalization of some properties of relations in the context of functional temporal×modal logic