scientific article; zbMATH DE number 753769

MaRDI QIDQ4698602zbMATHFDO

Authors Robert Kowalski

Publication date 11 May 1995

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)

Recommendations

• scientific article; zbMATH DE number 5316604
• scientific article; zbMATH DE number 2196610
• scientific article; zbMATH DE number 3939317
• Logics without the contraction rule
• Predicate logics without the structure rules
• Logic without metaphysics
• scientific article; zbMATH DE number 3045769
• A consistent prepositional logic without any finite models
• Modal Logic Without Possible Worlds
• Logic without language

Cited in

(5)

• scientific article; zbMATH DE number 7238893 (Why is no real title available?)
• scientific article; zbMATH DE number 1163924 (Why is no real title available?)
• 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
• The eco-cognitive model of abduction. II. Irrelevance and implausibility exculpated

Describes a project that uses

Uses Software

• SATCHMO

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)