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

DOI10.1080/00207160701210141zbMATH Open1147.03010OpenAlexW2088922614MaRDI QIDQ5459725FDOQ5459725

Authors: Emilio Muñoz-Velasco, Alfredo Burrieza, I. P. de Guzmán 

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

Recommendations

• scientific article; zbMATH DE number 2086604
• Functional systems in the context of temporal×modal logics with indexed flows
• A functional approach for temporal \(\times\) modal logics
• Analyzing completeness of axiomatic functional systems for temporal \(\times \) modal logics
• scientific article; zbMATH DE number 1696880

zbMATH Keywords

modal logicdefinabilitylogic in computer sciencetemporal logic

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (7)

• On the existence and unicity of stable models in normal residuated logic programs
• A functional approach for temporal \(\times\) modal logics
• Analyzing completeness of axiomatic functional systems for temporal \(\times \) modal logics
• A useful four-valued extension of the temporal logic \(\mathsf{K}_{\mathsf t}\mathsf{T4}\)
• Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity
• Functional systems in the context of temporal×modal logics with indexed flows
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5459725)