Synchronization of logics
From MaRDI portal
Publication:1372360
DOI10.1023/A:1004904401346zbMath0882.03008MaRDI QIDQ1372360
Carlos Caleiro, Amílcar Sernadas, Cristina Sernadas
Publication date: 13 November 1997
Published in: Studia Logica (Search for Journal in Brave)
equational logic; linear temporal logic; combination of logics; branching temporal logic; consequence systems; one-step derivation systems; satisfaction systems; synchronization on formulae; synchronization on models; theory spaces
Related Items