Modal multilattice logics with Tarski, Kuratowski, and Halmos operators
type: Item
instance of: scholarly article
title: Modal multilattice logics with Tarski, Kuratowski, and Halmos operators
DOI: 10.12775/LLP.2021.003
author: Oleg Grigor'ev
author: Yaroslav I. Petrukhin
published in: Logic and Logical Philosophy
publication date: 2021-12-02T00:00:00Z
Mathematics Subject Classification ID: 03-XX
zbMATH DE Number: 7437988
zbMATH Keywords: multilattice logic
zbMATH Keywords: modal logic
zbMATH Keywords: sequent calculus
zbMATH Keywords: algebraic completeness
zbMATH Keywords: neighbourhood semantics
zbMATH Keywords: embedding theorem
MaRDI profile type: MaRDI publication profile
cites work: Reasoning with logical bilattices
cites work: Q3837723
cites work: Hypersequent Calculi for S5: The Methods of Cut Elimination
cites work: Lattices with Interior and Closure Operators and Abstract Approximation Spaces
cites work: Q3867808
cites work: On a multilattice analogue of a hypersequent S5 calculus
cites work: Two proofs of the algebraic completeness theorem for multilattice logic
cites work: Q3435245
cites work: Natural deduction, hybrid systems and modal logics
cites work: Two is enough -- bisequent calculus for S5
cites work: Q5144357
cites work: Embedding from multilattice logic into classical logic and vice versa
cites work: Modal multilattice logic
cites work: Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant
cites work: Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
cites work: Q5556396
cites work: Q3247119
cites work: Q3262211
cites work: Gentzen calculi for modal propositional logic
cites work: Q5457387
cites work: Truth, Falsehood, Information and Beyond: The American Plan Generalized
cites work: Some useful 16-valued logics: How a computer network should think
cites work: A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\)
full work available at URL: llp.2021.003
OpenAlex ID: W3132523018
description: scientific article; zbMATH DE number 7437988