A Lindström theorem for the hybrid logic H()

DOI10.1007/S11225-025-10172-2MaRDI QIDQ7326949zbMATH OpenFDO

Authors Diego Pinheiro Fernandes

Publication date 9 September 2026

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S11225-025-10172-2

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites work

• A general Lindström theorem for some normal modal logics
• A Lindström theorem for intuitionistic first-order logic
• A Lindström theorem for intuitionistic propositional logic
• A new modal Lindström theorem
• A note on graded modal logic
• First-order modal logic: frame definability and a Lindström theorem
• scientific article; zbMATH DE number 5872415 (Why is no real title available?)
• scientific article; zbMATH DE number 3941493 (Why is no real title available?)
• scientific article; zbMATH DE number 1424043 (Why is no real title available?)
• Hybrid languages
• Hybrid logic and its proof-theory
• Hybrid logics: Characterization, interpolation and complexity
• Lindstrom theorems for fragments of first-order logic
• On Extensions of Elementary Logic
• Which logic is the right logic?

This page was built for publication: A Lindström theorem for the hybrid logic \(\mathcal{H}(\exists)\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7326949)