The Unrestricted Combination of Temporal Logic Systems

DOI10.1093/jigpal/10.2.165zbMath1003.03015OpenAlexW2059053889MaRDI QIDQ4545015

M. Angela Weiss, Marcelo Finger

Publication date: 8 August 2002

Published in: Logic Journal of 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)

Related Items (6)

Importing logics: soundness and completeness preservation ⋮ Importing logics ⋮ Fibring as biporting subsumes asymmetric combinations ⋮ Event-based time-stamped claim logic ⋮ Completeness and Complexity of Multi-modal CTL ⋮ Multi-modal CTL: completeness, complexity, and an application

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