Proof-search in hybrid logic

zbMATH Open1344.03022MaRDI QIDQ2811588FDOQ2811588

Daiva Aleknavičiūtė, Stanislovas Norgėla

Publication date: 10 June 2016

Published in: Lietuvos Matematikos Rinkinys. Lietuvos Matematiku Draugijos Darbai (Search for Journal in Brave)

zbMATH Keywords

sequent calculushybrid logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cited In (4)

• Why does the proof-theory of hybrid logic work so well?
• Deep Proof Search in MELL
• SAT-based proof search in intermediate propositional logics
• Hybrid Logics with Infinitary Proof Systems

This page was built for publication: Proof-search in hybrid logic

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