Pages that link to "Item:Q4333475"
From MaRDI portal
The following pages link to Minimal Axiomatization in Modal Logic (Q4333475):
Displaying 13 items.
- Minimal \(p\)-morphic images, axiomatizations and coverings in the modal logic K4 (Q1300009) (← links)
- Linear modalities in mininal logic (Q1866867) (← links)
- Minimal Proof Search for Modal Logic K Model Checking (Q2915084) (← links)
- (Q3033741) (← links)
- (Q3335778) (← links)
- Minimal consequence in sentential logic (Q3487316) (← links)
- (Q4513851) (← links)
- ASP for minimal entailment in a rational extension of SROEL (Q4593055) (← links)
- The Modality of Finite (Graded Modalities VII) (Q4704653) (← links)
- (Q5104718) (← links)
- The Minimal System of Justification Logic with Names (Q5213663) (← links)
- Frame-validity games and absolute minimality of modal axioms (Q5224561) (← links)
- Minimal Logicism (Q5499603) (← links)