Propositional Logic for Ground Semigroups of Context

DOI10.1093/JIGPAL/10.3.273zbMath1003.68154OpenAlexW2064477517MaRDI QIDQ3147432

Rolf Nossum

Publication date: 18 September 2002

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/10.3.273

zbMATH Keywords

formal reasoningcontextual reasoning systems

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items (1)

A decidable multi-modal logic of context

This page was built for publication: Propositional Logic for Ground Semigroups of Context