Pages that link to "Item:Q4644536"
From MaRDI portal
The following pages link to Modal and temporal extensions of non-distributive propositional logics (Q4644536):
Displaying 14 items.
- Canonical extensions and Kripke-Galois semantics for non-distributive logics (Q1632052) (← links)
- Sequent systems for negative modalities (Q1682296) (← links)
- Order-dual relational semantics for non-distributive propositional logics: a general framework (Q1702978) (← links)
- Non-distributive relatives of ETL and NFL (Q2021563) (← links)
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi (Q2062192) (← links)
- Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems (Q2236604) (← links)
- Algorithmic correspondence and canonicity for non-distributive logics (Q2273010) (← links)
- (Q4475068) (← links)
- (Q4484479) (← links)
- (Q4518865) (← links)
- First-order frames for orthomodular quantum logic (Q4586154) (← links)
- (Q4636027) (← links)
- Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322) (← links)
- Unification in Linear Modal Logic on Non-transitive Time with the Universal Modality (Q5853178) (← links)