THE BOUNDED FRAGMENT AND HYBRID LOGIC WITH POLYADIC MODALITIES

DOI10.1017/S1755020309990402zbMath1207.03023OpenAlexW2121647562MaRDI QIDQ3577747

I. M. Hodkinson

Publication date: 23 July 2010

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020309990402

zbMATH Keywords

modal logicfirst-order logichybrid logicexpressivenessbounded fragment

Mathematics Subject Classification ID

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

Cites Work

• Elementary generation and canonicity for varieties of Boolean algebras with operators
• Hybrid formulas and elementarily generated modal logics
• Hybrid logics: characterization, interpolation and complexity
• Persistent and invariant formulas relative to theories of higher order