scientific article; zbMATH DE number 6533399

MaRDI QIDQ3464006zbMATH OpenFDO

Authors Stanislovas Norgėla

Publication date 20 January 2016

zbMATH Keywords

decidabilityhybrid logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• A Hybrid Intuitionistic Logic: Semantics and Decidability
• Deductive systems and the decidability problem for hybrid logics
• Hybrid logic and its proof-theory
• On Herbrand's theorem for hybrid logic
• Decision procedures for some strong hybrid logics
• Sequent calculi and decidability for intuitionistic hybrid logic
• Hybridized paracomplete and paraconsistent logics
• Completeness and decidability results for hybrid(ised) logics
• Hybrid logics: Characterization, interpolation and complexity
• The complexity of hybrid logics over equivalence relations

Cited in

(3)

• scientific article; zbMATH DE number 1303067 (Why is no real title available?)
• A Hybrid Intuitionistic Logic: Semantics and Decidability
• Decidability of a hybrid duration calculus

This page was built for publication:

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