scientific article; zbMATH DE number 753769

zbMATH Open0820.03012MaRDI QIDQ4698602FDOQ4698602

Robert Kowalski

Publication date: 11 May 1995

Title of this publication is not available (Why is that?)

zbMATH Keywords

belief revisioncomputational logicmodel theoryhuman reasoningknowledge assimilationsyntactic approachcomputational reasoning

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Cited In (5)

• The eco-cognitive model of abduction. II. Irrelevance and implausibility exculpated
• Title not available (Why is that?)
• Logic without borders. Essays on set theory, model theory, philosophical logic and philosophy of mathematics
• Logic without contraction as based on inclusion and unrestricted abstraction
• Title not available (Why is that?)

Uses Software

• SATCHMO

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Logics without the contraction rule 👍 👎
• Predicate logics without the structure rules 👍 👎
• Logic without metaphysics 👍 👎
• Title not available (Why is that?) 👍 👎
• A consistent prepositional logic without any finite models 👍 👎
• Modal Logic Without Possible Worlds 👍 👎
• Logic without language 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4698602)