Pages that link to "Item:Q2498907"
From MaRDI portal
The following pages link to On modal logic of deductive closure (Q2498907):
Displaying 9 items.
- Properties of saturation in monotonic neighbourhood models and some applications (Q495833) (← links)
- Clausal presentation of theories in deduction modulo (Q744331) (← links)
- Substructural logics with a reflexive transitive closure modality (Q1685940) (← links)
- Abstract modal logics (Q1902554) (← links)
- Characterizations of maximal consistent theories in the formal deductive system \(\mathcal L^{*}\) (NM-logic) and Cantor space (Q2457027) (← links)
- Deductive closure and epistemic context (Q2904034) (← links)
- A new deduction system for deciding validity in modal logic K (Q3000420) (← links)
- (Q3509069) (← links)
- (Q3647279) (← links)