scientific article
From MaRDI portal
Publication:4040429
zbMath0653.03001MaRDI QIDQ4040429
Publication date: 5 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Dynamic Reasoning Systems, On the logic of theory change: Partial meet contraction and revision functions, The sound and complete R-calculus for revising propositional theories, From formal logic to statistical mechanics, A finitely axiomatized formalization of predicate calculus with equality, On networks over finite rings, A quantitative approach to reasoning about incomplete knowledge, Completeness of temporal logics over infinite intervals., Logic and logic-based control, Completeness and normal form of multi-valued logical functions, Layman's probability theory: A calculus for reasoning with linguistic likelihood, On adequate sets of multi-valued logic, Decidability questions for a ring of Laurent polynomials, Intrinsic, extrinsic, and the constitutive a priori, A New–old Characterisation of Logical Knowledge, F-propositional calculus and a kind of F-control model on the basis of complemented t-norm, Three dual ontologies, Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief
