Pages that link to "Item:Q4530155"
From MaRDI portal
The following pages link to Full models for positive modal logic (Q4530155):
Displaying 8 items.
- A coalgebraic view on positive modal logic (Q703528) (← links)
- Selfextensional logics with a conjunction (Q865045) (← links)
- On positive enumarated models (Q1177463) (← links)
- The strong version of a sentential logic (Q1680515) (← links)
- COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC (Q3188323) (← links)
- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems (Q4586425) (← links)
- ON EQUATIONAL COMPLETENESS THEOREMS (Q5052010) (← links)
- VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS (Q5241233) (← links)