Pages that link to "Item:Q2145869"
From MaRDI portal
The following pages link to Modal bilattice logic and its extensions (Q2145869):
Displaying 21 items.
- Levels of modality for BDI logic (Q456714) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Lattices of modal logics and their groups of automorphisms (Q1125058) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- What is the upper part of the lattice of bimodal logics? (Q1327483) (← links)
- On bimodal logics of provability (Q1332858) (← links)
- Encoding modal logics in logical frameworks (Q1577344) (← links)
- Modal multilattice logic (Q1682294) (← links)
- Reasoning with logical bilattices (Q1919988) (← links)
- Interconnection of the lattices of extensions of four logics (Q2399606) (← links)
- (Q3035258) (← links)
- Exemplaric Expressivity of Modal Logics (Q3056297) (← links)
- Modulated logics and flexible reasoning (Q3620397) (← links)
- Bilattices and Modal Operators (Q3971113) (← links)
- (Q3990459) (← links)
- (Q4391083) (← links)
- (Q4982589) (← links)
- Modal Logics and Group Polarization (Q5019294) (← links)
- MEREOLOGICAL BIMODAL LOGICS (Q5046599) (← links)
- Note on extending congruential modal logics (Q5963201) (← links)
- On the quantified version of the Belnap-Dunn modal logic (Q6582282) (← links)