The Unrestricted Combination of Temporal Logic Systems

DOI10.1093/JIGPAL/10.2.165zbMATH Open1003.03015OpenAlexW2059053889MaRDI QIDQ4545015FDOQ4545015

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

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

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)

Cited In (12)

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

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)