A functional approach for temporal \(\times\) modal logics

DOI10.1007/s00236-002-0098-zzbMath1024.03018OpenAlexW55860263MaRDI QIDQ1403342

Inma P. de Guzmán, Alfredo Burrieza

Publication date: 1 September 2003

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-002-0098-z

zbMATH Keywords

completenessdefinabilitycombination of logicsminimal axiomatic systemsflows of timefunctional framestemporal \(\times\) modal logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Temporal logic (03B44)

Related Items (4)

Completeness of a functional system for surjective functions ⋮ Generalization of some properties of relations in the context of functional temporal×modal logic ⋮ Functional systems in the context of temporal×modal logics with indexed flows ⋮ Analyzing completeness of axiomatic functional systems for temporal × modal logics

This page was built for publication: A functional approach for temporal \(\times\) modal logics