Modal multilattice logics with Tarski, Kuratowski, and Halmos operators
From MaRDI portal
Publication:5013628
DOI10.12775/LLP.2021.003OpenAlexW3132523018MaRDI QIDQ5013628
Oleg Grigor'ev, Yaroslav I. Petrukhin
Publication date: 2 December 2021
Published in: Logic and Logical Philosophy (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.12775/llp.2021.003
modal logicembedding theoremsequent calculusalgebraic completenessneighbourhood semanticsmultilattice logic
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Natural deduction, hybrid systems and modal logics
- Some useful 16-valued logics: How a computer network should think
- Gentzen calculi for modal propositional logic
- A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
- Modal multilattice logic
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
- Reasoning with logical bilattices
- Two is enough -- bisequent calculus for S5
- Hypersequent Calculi for S5: The Methods of Cut Elimination
- Embedding from multilattice logic into classical logic and vice versa
- Truth, Falsehood, Information and Beyond: The American Plan Generalized
- On a multilattice analogue of a hypersequent S5 calculus
- Lattices with Interior and Closure Operators and Abstract Approximation Spaces
- Two proofs of the algebraic completeness theorem for multilattice logic
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi