Synchronization of logics
From MaRDI portal
Publication:1372360
DOI10.1023/A:1004904401346zbMath0882.03008OpenAlexW1532021941MaRDI QIDQ1372360
Cristina Sernadas, Carlos Caleiro, Amílcar Sernadas
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
equational logiclinear temporal logiccombination of logicsbranching temporal logicconsequence systemsone-step derivation systemssatisfaction systemssynchronization on formulaesynchronization on modelstheory spaces
Logic in computer science (03B70) Categorical logic, topoi (03G30) Abstract deductive systems (03B22)
Related Items (5)
An NP-complete fragment of fibring logic ⋮ Fibring: completeness preservation ⋮ Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics ⋮ Probabilization of logics: completeness and decidability ⋮ REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
This page was built for publication: Synchronization of logics