Library

Modal Semirings with Operators for Knowledge Representation

Modal semirings are combined with modal algebra (Boolean algebra with operators) to form modal semirings with operators. In turn, these are extended with a revision operator and used for knowledge representation.

Computer ScienceMathematics
View graphSource

Paper

Full text

PDF

Modal Semirings with Operators for Knowledge Representation

Semantic Scholar · Computer Science · 2013

Abstract

Modal semirings are combined with modal algebra (Boolean algebra with operators) to form modal semirings with operators. In turn, these are extended with a revision operator and used for knowledge representation.

Source of record · Semantic Scholar

Similar papers

Modal Logic for Relationships between SetsNino Guallart2023 · Revista de Humanidades de Valparaíso In Library
Modal Algebra of MultirelationsHitoshi Furusawa, Walter Guttmann, Georg Struth2023 · arXiv (Cornell University) In Library
Domain Semirings UnitedUli Fahrenberg, Christian Johansen, Georg Struth et al.2022 · Acta Cybernetica In Library
A Relational Semantics for Ockham’s ModalitiesDavide Falessi, Fabien Schang2023 · Axioms In Library
Boolean and modal connectives as primitives in non-deterministic semanticsPaweł Pawłowski2026 · Logic Journal of IGPL In Library
Base-extension Semantics for Modal LogicTimo Eckhardt, David Pym2024 · arXiv (Cornell University) In Library
An Epistemic Logic without K/B OperatorsYang Song, Satoshi Tojo2024 In Library
Modal logic, fundamentallyWesley H. Holliday2024 · arXiv (Cornell University) In Library
Base-extension semantics for modal logicTimo Eckhardt, David Pym2024 · Logic Journal of IGPL In Library
Modal TypesDavid Corfield2020 · Oxford University Press eBooks In Library
© 2026 NYSGPT2525 LLC