Why combine logics?
From MaRDI portal
Publication:1370455
DOI10.1023/A:1004991115882zbMath0887.03025OpenAlexW2564698430MaRDI QIDQ1370455
Patrick Blackburn, Maarten de Rijke
Publication date: 26 October 1997
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1004991115882
Related Items
Combined model checking for temporal, probabilistic, and real-time logics, Mixing colors, mixing logics, An NP-complete fragment of fibring logic, Combining and automating classical and non-classical logics in classical higher-order logics, Fibring: completeness preservation, Fibring as biporting subsumes asymmetric combinations, Modulated fibring and the collapsing problem, Truth-values as labels: a general recipe for labelled deduction, Combining Valuations with Society Semantics, Clausal resolution in a logic of rational agency
