Pages that link to "Item:Q2556392"
From MaRDI portal
The following pages link to A general filtration method for modal logics (Q2556392):
Displayed 11 items.
- Products of modal logics and tensor products of modal algebras (Q472808) (← links)
- Logical analysis of demonic nondeterministic programs (Q671651) (← links)
- Modal logics of domains on the real plane (Q794634) (← links)
- A class of decidable information logics (Q1128479) (← links)
- Interpolation theorems in modal logics. Sufficient conditions (Q1156788) (← links)
- The decidability of admissibility problems for modal logics S4.2 and S4.2Grz and superintuitionistic logic KC (Q1317616) (← links)
- Proofs and countermodels in non-classical logics (Q2254557) (← links)
- Nonmonotonic consequence based on intuitionistic logic (Q4032657) (← links)
- On Finite Model Property for Admissible Rules (Q4704656) (← links)
- Intelligence in Strategic Games (Q5154729) (← links)
- Partitioning Kripke frames of finite height (Q5349257) (← links)