The Unrestricted Combination of Temporal Logic Systems

DOI10.1093/JIGPAL/10.2.165MaRDI QIDQ4545015zbMATH OpenOpenAlexFDO

Authors Marcelo Finger, M. Angela Weiss

Publication date 8 August 2002

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/10.2.165

zbMATH Keywords

combination of temporal logicscompletenessdecidabilityfusiongeneric flows of timemultimodal logicssoundnesstemporalisations

Mathematics Subject Classification ID

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

Recommendations

• Combining temporal logic systems
• Publication:4941925
• Temporalising Logics: Fifteen Years After
• A functional approach for temporal \(\times\) modal logics
• scientific article; zbMATH DE number 1696880

Cited in

(14)

• Multi-modal CTL: completeness, complexity, and an application
• Adding a temporal dimension to a logic system
• A functional approach for temporal \(\times\) modal logics
• Combining temporal logic systems
• Completeness of a combination of neighbourhood logic and temporal logic
• Event-based time-stamped claim logic
• Fibring as biporting subsumes asymmetric combinations
• Importing logics: soundness and completeness preservation
• Functional systems in the context of temporal×modal logics with indexed flows
• scientific article; zbMATH DE number 1107622 (Why is no real title available?)
• scientific article; zbMATH DE number 1418362 (Why is no real title available?)
• Completeness and complexity of multi-modal CTL
• CoNP complexity for combinations of non-normal modal logics
• Importing logics

This page was built for publication: The Unrestricted Combination of Temporal Logic Systems

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