Towards resolution-based reasoning for connected logics

DOI10.1016/J.ENTCS.2014.06.007MaRDI QIDQ281156zbMATH OpenOpenAlexWikidataFDO

Authors Cláudia Nalon

Publication date 10 May 2016

Full work available at URL https://doi.org/10.1016/j.entcs.2014.06.007

zbMATH Keywords

theorem proving\(\mathcal{E}\)-connectionsbridge principlesnormal modal logicsresolution method

Mathematics Subject Classification ID

Knowledge representation (68T30) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Recommendations

• Resolution-based methods for modal logics
• \({\mathcal E}\)-connections of abstract description systems
• scientific article; zbMATH DE number 3932427
• scientific article; zbMATH DE number 1341615
• First-order resolution methods for modal logics

Cites work

• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• scientific article; zbMATH DE number 1753135 (Why is no real title available?)
• A structure-preserving clause form translation
• Analysis and synthesis of logics. How to cut and paste reasoning systems
• Automated deduction techniques for classification in description logic systems
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
• Clausal resolution for normal modal logics
• Connecting many-sorted theories
• Counterfactuals and updates as inverse modalities
• Journal on Data Semantics I
• Many-dimensional modal logics: theory and applications
• Philosophy of logic
• Properties of independently axiomatizable bimodal logics
• \({\mathcal E}\)-connections of abstract description systems

Cited in

(2)

• \({\mathcal E}\)-connections of abstract description systems
• Ontology Integration Using ε-Connections

Describes a project that uses

Uses Software

• DRAGO

This page was built for publication: Towards resolution-based reasoning for connected logics

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