Synchronization of logics with mixed rules: Completeness preservation

DOI10.1007/BFB0000490MaRDI QIDQ4373557zbMATH OpenFDO

Authors Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro

Publication date 10 May 1998

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0000490

zbMATH Keywords

categorical constructioncombination of logicsdynamic logiclinear temporal logicmodel existencesynchronization

Mathematics Subject Classification ID

General logic (03B99) Categorical logic, topoi (03G30)

Recommendations

• Synchronization of logics
• Synchronized linear-time temporal logic
• Fibring: Completeness preservation
• The Unrestricted Combination of Temporal Logic Systems

Cited in

(4)

• Synchronization of logics
• scientific article; zbMATH DE number 1670484 (Why is no real title available?)
• Importing logics: soundness and completeness preservation
• Synchronized linear-time temporal logic

This page was built for publication: Synchronization of logics with mixed rules: Completeness preservation

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