Natural deduction and context as (constructive) modality

DOI10.1007/3-540-44958-2_10zbMATH Open1279.68310DBLPconf/context/Paiva03OpenAlexW2168118788WikidataQ56994553 ScholiaQ56994553MaRDI QIDQ3550858FDOQ3550858

Authors: Valeria de Paiva 

Publication date: 6 April 2010

Published in: Modeling and Using Context (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-44958-2_10

Recommendations

• Natural deduction in normal modal logic
• scientific article; zbMATH DE number 7297837
• A decidable multi-modal logic of context
• scientific article; zbMATH DE number 770150
• Label-free natural deduction systems for intuitionistic and classical modal logics

zbMATH Keywords

context in knowledge representationlogical formalisms for contextrepresenting context and contextual knowledge

Mathematics Subject Classification ID

Knowledge representation (68T30) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Cited In (7)

• Bridges from language to logic: concepts, contexts and ontologies
• Mathematical logic in knowledge processing. Historical-philosophical reasons for a contextual logic
• Contextual Natural Deduction
• Contexts in mathematical reasoning and computation
• Natural implication and modus ponens principle
• Natural deduction for modal logic of judgment aggregation
• Embedding constructive K into intuitionistic K

This page was built for publication: Natural deduction and context as (constructive) modality

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