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

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)

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

Cites Work

• scientific article; zbMATH DE number 1302050 (Why is no real title available?)
• A decidable temporal logic of parallelism
• A functional approach for temporal \(\times\) modal logics
• A modal logic for mobile agents
• Computational logic in multi-agent systems: Recent advances and future directions
• Multi-dimensional modal logic as a framework for spatio-temporal reasoning

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 no real title available?)

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)