Fibring Modal First-Order Logics: Completeness Preservation

DOI10.1093/JIGPAL/10.4.413zbMath1017.03009OpenAlexW1963762880MaRDI QIDQ4779584

Alberto Zanardo, Cristina Sernadas, Amílcar Sernadas

Publication date: 24 August 2003

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/a6f06fbf7fdf741445df82d38eab1f62ffa8b73a

zbMATH Keywords

completenessfirst-order modal logicfibring

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70)

Related Items (1)

An NP-complete fragment of fibring logic

This page was built for publication: Fibring Modal First-Order Logics: Completeness Preservation