scientific article; zbMATH DE number 6533399

zbMATH Open1344.03025MaRDI QIDQ3464006FDOQ3464006

Authors: Stanislovas Norgėla 

Publication date: 20 January 2016

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

decidabilityhybrid logic

Mathematics Subject Classification ID

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

Cited In (3)

• Title not available (Why is that?)
• 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)