scientific article; zbMATH DE number 1747706

DOI<427::AID-MALQ427>3.0.CO;2-T 10.1002/1521-3870(200204)48:3<427::AID-MALQ427>3.0.CO;2-TzbMath0997.03021MaRDI QIDQ4530155

Ramon Jansana

Publication date: 29 May 2002

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

zbMATH Keywords

abstract algebraic logicprotoalgebraic logicKripke framesfull modelspositive modal logicpositive fragment of the local modal consequence relationpositive modal algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Algebraic logic (03G99) Abstract deductive systems (03B22)

Related Items (8)

ON EQUATIONAL COMPLETENESS THEOREMS ⋮ COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC ⋮ Selfextensional logics with a conjunction ⋮ The strong version of a sentential logic ⋮ Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems ⋮ Abstract algebraic logic. An introductory chapter ⋮ A coalgebraic view on positive modal logic ⋮ VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS

Cites Work

• Theory of logical calculi. Basic theory of consequence operations

This page was built for publication: