Forcing and Calculi for Hybrid Logics

DOI10.1145/3400294zbMath1494.03097OpenAlexW3047696155MaRDI QIDQ5133981

Daniel Găină

Publication date: 11 November 2020

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3400294

zbMATH Keywords

forcinghybrid logicproof theoryreconfigurationinstitutionstratified institution

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Categorical logic, topoi (03G30)

Related Items (3)

Stability of termination and sufficient-completeness under pushouts via amalgamation ⋮ Many-sorted hybrid modal languages ⋮ Omitting types theorem in hybrid dynamic first-order logic with rigid symbols

This page was built for publication: Forcing and Calculi for Hybrid Logics