scientific article; zbMATH DE number 1341482

zbMath0931.03035MaRDI QIDQ4263021

Miroslava Tzakova

Publication date: 28 February 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completenesstableau-based decision procedureproof procedurefragments of classical logicextensions of modal logics with labels for states in Kripke modelshybrid logics having full first-order expressive powerprefixed tableau calculiweak hybrid logicsweak quantifier-free logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items

Coalgebraic Hybrid Logic, ExpTime tableaux with global caching for hybrid PDL, Terminating Tableau Calculi for Hybrid Logics Extending K, Sequent calculi and decidability for intuitionistic hybrid logic, Higher-Order Syntax and Saturation Algorithms for Hybrid Logic