Pages that link to "Item:Q6040618"
From MaRDI portal
The following pages link to Frame definability in finitely valued modal logics (Q6040618):
Displaying 9 items.
- Frame Definability for Classes of Trees in the μ-calculus (Q3586099) (← links)
- A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes (Q3647203) (← links)
- Frame constructions, truth invariance and validity preservation in many-valued modal logic (Q3647234) (← links)
- Justification announcements in discrete time. Part II: Frame definability results (Q5241923) (← links)
- From Frame Properties to Hypersequent Rules in Modal Logics (Q5271078) (← links)
- (Q5413352) (← links)
- (Q5419895) (← links)
- (Q5460175) (← links)
- Existential definability of modal frame classes (Q6096325) (← links)