Synchronization of logics

DOI10.1023/A:1004904401346zbMATH Open0882.03008OpenAlexW1532021941MaRDI QIDQ1372360FDOQ1372360

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

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

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)

Cited In (12)

• Title not available (Why is that?)
• Synchronized linear-time temporal logic
• 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
• Title not available (Why is that?)
• An NP-complete fragment of fibring logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)