Synchronization of logics

DOI10.1023/A:1004904401346MaRDI QIDQ1372360zbMATH OpenOpenAlexFDO

Authors Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro

Publication date 13 November 1997

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1004904401346

zbMATH Keywords

linear temporal logiccombination of logicsbranching temporal logicequational logicconsequence systemsone-step derivation systemssatisfaction systemssynchronization on formulaesynchronization on modelstheory spaces

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Logic in computer science (03B70) Categorical logic, topoi (03G30)

Recommendations

• scientific article; zbMATH DE number 1107622
• Synchronized linear-time temporal logic
• Combining temporal logic systems
• scientific article; zbMATH DE number 3870578
• DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC

Cited in

(12)

• Synchronized linear-time temporal logic
• scientific article; zbMATH DE number 1670484 (Why is no real title available?)
• Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
• Probabilization of logics: completeness and decidability
• Fibring: Completeness preservation
• REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
• Synchronized frames for Gödel's universe
• scientific article; zbMATH DE number 3913664 (Why is no real title available?)
• An NP-complete fragment of fibring logic
• scientific article; zbMATH DE number 4206062 (Why is no real title available?)
• scientific article; zbMATH DE number 1864594 (Why is no real title available?)
• Synchronizing the consistency relation

This page was built for publication: Synchronization of logics

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