scientific article
From MaRDI portal
Publication:3669380
zbMath0519.03016MaRDI QIDQ3669380
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
On the predicate logics of finite Kripke frames, Equilibrium logic, Ordered sets R and Q as bases of Kripke models, On finite linear intermediate predicate logics, First-order interpolation derived from propositional interpolation, Synonymous theories and knowledge representations in answer set programming, A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics, Intuitionistic axiomatizations for bounded extension Kripke models., Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle, Maximal Kripke-type semantics for modal and superintuitionistic predicate logics, Quantified extensions of canonical propositional intermediate logics, Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas, Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics, Omitting types in an intermediate logic, Subtractive logic, Presheaf semantics and independence results for some non-classical first- order logics, Computable Kripke models and intermediate logics, Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics, A new semantics for intuitionistic predicate logic, Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach, A first order nonmonotonic extension of constructive logic, On the predicate logic of linear Kripke frames and some of its extensions