Kripke contexts, double Boolean algebras with operators and corresponding modal systems

DOI10.1007/s10849-022-09370-1arXiv2204.04671OpenAlexW4288052431WikidataQ114226045 ScholiaQ114226045MaRDI QIDQ6117142

Prosenjit Howlader, Mohua Banerjee

Publication date: 16 August 2023

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2204.04671

zbMATH Keywords

modal logicformal concept analysisrough set theoryBoolean algebra with operatorsdouble Boolean algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logical aspects of Boolean algebras (03G05) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25) Mathematical logic and foundations (03-XX) Computer science (68-XX) Algebraic logic (03Gxx)

Cites Work

• An algebraic approach to non-classical logics
• Deciding the word problem in pure double Boolean algebras
• Object oriented protoconcepts and logics for double and pure double Boolean algebras
• Approximations in Concept Lattices
• A Solution of the Word Problem for Free Double Boolean Algebras
• Rough sets
• A topological representation of double Boolean lattices
• Rough Sets and Current Trends in Computing
• Prime ideal theorem for double Boolean algebras
• Rough Set Approximations in Formal Concept Analysis
• Boolean Algebras with Operators. Part I
• A Formal Concept Analysis Approach to Rough Data Tables
• Algebras from Semiconcepts in Rough Set Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Kripke contexts, double Boolean algebras with operators and corresponding modal systems