Pages that link to "Item:Q3718681"
From MaRDI portal
The following pages link to An incomplete decidable modal logic (Q3718681):
Displaying 15 items.
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- The decidable normal modal logics are not recursively enumerable (Q1072542) (← links)
- All finitely axiomatizable subframe logics containing the provability logic CSM\(_0\) are decidable (Q1128179) (← links)
- Some descending chains of incomplete modal logics (Q1177647) (← links)
- The modal logic of the countable random frame (Q1407589) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Finite-trace linear temporal logic: coinductive completeness (Q1667649) (← links)
- Modal logic interpretation of Dempster-Shafer theory: An infinite case (Q1809349) (← links)
- Effective completeness theorems for modal logic (Q1877094) (← links)
- Decidable and undecidable logics with a binary modality (Q1909606) (← links)
- A conservative negation extension of positive semilattice logic without the finite model property (Q2021561) (← links)
- A Universally Defined Undecidable Unimodal Logic (Q3088054) (← links)
- (Q3639040) (← links)
- (Q4198476) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)