Pages that link to "Item:Q4444913"
From MaRDI portal
The following pages link to Revisiting completeness for the Kn modal logics: a new proof (Q4444913):
Displaying 6 items.
- Arithmetical completeness theorem for modal logic \(\mathsf{K}\) (Q1743993) (← links)
- Hypergraphs, local reasoning, and weakly aggregative modal logic (Q2148816) (← links)
- Model theoretical aspects of weakly aggregative modal logic (Q2155209) (← links)
- A new version of the proof of completeness criterion for k-valued logic functions (Q3125967) (← links)
- (Q3830980) (← links)
- (Q5424684) (← links)