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

completenessdecidabilityfusionsoundnessmultimodal logicscombination of temporal logicsgeneric flows of timetemporalisations

Mathematics Subject Classification ID

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

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

(12)

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

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)