scientific article; zbMATH DE number 1747706

DOI10.1002/1521-3870(200204)48:3%3C427::AID-MALQ427%3E3.0.CO;2-TMaRDI QIDQ4530155zbMATH OpenFDO

Authors Ramon Jansana

Publication date 29 May 2002

Full work available at URL https://doi.org/10.1002/1521-3870(200204)48:3%3C427::AID-MALQ427%3E3.0.CO;2-T

zbMATH Keywords

abstract algebraic logicfull modelsKripke framespositive fragment of the local modal consequence relationpositive modal algebraspositive modal logicprotoalgebraic logic

Mathematics Subject Classification ID

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

Recommendations

• Positive modal logic
• Positive fragments of coalgebraic logics
• A note on the model theory for positive modal logic
• Coalgebraic semantics for positive modal logic
• A new semantics for positive modal logic

Cites work

• Theory of logical calculi. Basic theory of consequence operations

Cited in

(11)

• On positive enumarated models
• The strong version of a sentential logic
• Compatibility operators in abstract algebraic logic
• Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems
• ON EQUATIONAL COMPLETENESS THEOREMS
• VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS
• Abstract algebraic logic. An introductory chapter
• Duality for coalgebras for Vietoris and monadicity
• Assertional logics and the frege hierarchy
• A coalgebraic view on positive modal logic
• Selfextensional logics with a conjunction

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4530155)