Pages that link to "Item:Q918533"
From MaRDI portal
The following pages link to Modal definability in enriched languages (Q918533):
Displayed 22 items.
- On the modal logic of subset and superset: tense logic over Medvedev frames (Q519848) (← links)
- Boolean algebras arising from information systems (Q598303) (← links)
- Simple weakly transitive modal algebras (Q619324) (← links)
- Interpolation in weakly transitive modal logics (Q694243) (← links)
- An essay in combinatory dynamic logic (Q809068) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Modal logic with names (Q1310624) (← links)
- Towards reasoning about Hoare relations (Q1924753) (← links)
- Understanding the Brandenburger-Keisler paradox (Q2464651) (← links)
- Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse (Q3541703) (← links)
- PDL with negation of atomic programs (Q3647227) (← links)
- An efficient relational deductive system for propositional non-classical logics (Q3647245) (← links)
- The Range of Modal Logic (Q4531586) (← links)
- Tableaux methods for access control in distributed systems (Q4610331) (← links)
- A simple tableau system for the logic of elsewhere (Q4645235) (← links)
- Hybrid Tableaux for the Difference Modality (Q4982124) (← links)
- Application of Urquhart’s Representation of Lattices to Some Non–classical Logics (Q5027243) (← links)
- MEREOLOGICAL BIMODAL LOGICS (Q5046599) (← links)
- Information algebras (Q5096378) (← links)
- Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics (Q5214737) (← links)
- Failure of interpolation in combined modal logics (Q5937819) (← links)
- Existential definability of modal frame classes (Q6096325) (← links)