Towards resolution-based reasoning for connected logics

DOI10.1016/J.ENTCS.2014.06.007zbMATH Open1335.68252OpenAlexW2081809666WikidataQ113317869 ScholiaQ113317869MaRDI QIDQ281156FDOQ281156

Authors: Cláudia Nalon 

Publication date: 10 May 2016

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

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

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)

Cites Work

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

Cited In (2)

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

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)