Pages that link to "Item:Q1708103"
From MaRDI portal
The following pages link to The finite model property for logics with the tangle modality (Q1708103):
Displaying 8 items.
- Finite model property for negative modalities (Q890969) (← links)
- The finite model property for the implicational fragment of IPC without exchange and contraction (Q1970644) (← links)
- Finite model property in weakly transitive tense logics (Q2698279) (← links)
- Finite model property of modal logics of finite depth (Q2815679) (← links)
- The finite model property for knotted extensions of propositional linear logic (Q3370755) (← links)
- COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS (Q5100046) (← links)
- STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES (Q5117595) (← links)
- Fixed point logics and definable topological properties (Q6149964) (← links)