Pages that link to "Item:Q3718681"
From MaRDI portal
The following pages link to An incomplete decidable modal logic (Q3718681):
Displaying 5 items.
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Finite-trace linear temporal logic: coinductive completeness (Q1667649) (← links)
- A conservative negation extension of positive semilattice logic without the finite model property (Q2021561) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
