Ideal Related Algebras and Their Logics Extended Abstract

DOI10.1007/978-3-030-44638-3_6OpenAlexW3012964202MaRDI QIDQ5098744

Wojciech Dzik, Ivo Duentsch

Publication date: 30 August 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-44638-3_6

zbMATH Keywords

unificationalgebraic semanticsadmissible rulesmodal logicsBoolean algebras with operatorsframe semanticsclosure algebras

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Almost structural completeness; an algebraic approach
• In search of a ``true logic of knowledge: The nonmonotonic perspective
• Best solving modal equations
• Modal consequence relations extending S4.3: an application of projective unification
• Modal system S4.4
• A study of some systems in the neighbourhood of S4.4
• The algebra of topology
• Projective unification in modal logic
• The lattice of modal logics: an algebraic investigation
• Unification through projectivity
• Unification and Passive Inference Rules for Modal Logics
• On the Semilattice of Modal Operators and Decompositions of the Discriminator
• Projective unification in transitive modal logics
• Algebras Whose Congruence Lattices are Distributive.
• Boolean Algebras with Operators. Part I

This page was built for publication: Ideal Related Algebras and Their Logics Extended Abstract