scientific article; zbMATH DE number 975275

zbMath0861.03010MaRDI QIDQ5283965

Piotr Łukowski

Publication date: 4 February 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logicHeyting-Brouwer logicKripke-style semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (6)

Useful Four-Valued Extension of the Temporal Logic KtT4 ⋮ Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant ⋮ Extensions of Priest-da Costa logic ⋮ Information Quanta and Approximation Operators: Once More Around the Track ⋮ A ``Distributive or a ``Collective Approach to Sentences? ⋮ Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality

This page was built for publication: