scientific article
From MaRDI portal
Publication:3125203
zbMath0874.03004MaRDI QIDQ3125203
Publication date: 17 March 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal logictextbookPROLOGset theoryintuitionistic logicmathematical logicapplied logicclassical predicate logicapplications of logic in computer science
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Logic programming (68N17)
Related Items (13)
Effective completeness theorems for modal logic ⋮ Probabilistic logic with independence ⋮ The ∀∃-theory of ℛ(≤,∨,∧) is undecidable ⋮ Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence ⋮ Inference-proof updating of a weakened view under the modification of input parameters ⋮ A representation of recursively enumerable sets through Horn formulas in higher recursion theory ⋮ Languages of logic and their applications ⋮ Closures in Binary Partial Algebras ⋮ Semantic information and the correctness theory of truth ⋮ Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics ⋮ A new approach for data editing and imputation ⋮ Coded Circuit for Trusted Computing: Towards Dynamic Integrity Measurement ⋮ Logic programming and knowledge representation---The A-Prolog perspective
This page was built for publication:
