scientific article; zbMATH DE number 1471983
From MaRDI portal
Publication:4489067
zbMath0952.03019MaRDI QIDQ4489067
Mehmet Terziler, Çiğdem Gencer, Vladimir Vladimirovich Rybakov
Publication date: 9 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Intermediate logics (03B55)
Related Items (12)
Almost structural completeness; an algebraic approach ⋮ Unification in epistemic logics ⋮ KD is nullary ⋮ Explicit basis for admissible rules in \(K\)-saturated tabular logics ⋮ Admissible inference rules of modal WCP-logics ⋮ An explicit basis for \textit{WCP}-globally admissible inference rules ⋮ Unification and Finite Model Property for Linear Step-Like Temporal Multi-Agent Logic with the Universal Modality ⋮ UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS ⋮ Admissibility and refutation: some characterisations of intermediate logics ⋮ Hereditarily structurally complete superintuitionistic deductive systems ⋮ Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK ⋮ Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality
This page was built for publication:
