scientific article; zbMATH DE number 2086604

MaRDI QIDQ4737138zbMATH OpenFDO

Authors Alfredo Burrieza, I. P. de Guzmán

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2309/23090239.htm

zbMATH Keywords

\(T\times W\)-semanticscompletenessdefinabilityfunctional semantics

Mathematics Subject Classification ID

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

Recommendations

• A functional approach for temporal \(\times\) modal logics
• scientific article; zbMATH DE number 1222929
• Functional systems in the context of temporal×modal logics with indexed flows
• Generalization of some properties of relations in the context of functional temporal×modal logic
• scientific article; zbMATH DE number 847940

Cited in

(6)

• A functional approach for temporal \(\times\) modal logics
• Analyzing completeness of axiomatic functional systems for temporal modal logics
• scientific article; zbMATH DE number 4135916 (Why is no real title available?)
• Functional systems in the context of temporal×modal logics with indexed flows
• Generalization of some properties of relations in the context of functional temporal×modal logic
• Permanence vs. termination

This page was built for publication:

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