Natural deduction and context as (constructive) modality

DOI10.1007/3-540-44958-2_10MaRDI QIDQ3550858zbMATH OpenOpenAlexDBLPWikidataFDO

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

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)

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

Cited in

(9)

• 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
• Paraconsistent constructive modal logic
• Intuitionistic monotone modal logic via translation
• 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)