The following pages link to (Q5688814):
Displaying 11 items.
- Gradable logical values for knowledge representation (Q1977925) (← links)
- Complexity of modal logics with Presburger constraints (Q2638188) (← links)
- (Q2757826) (← links)
- Modal expressiveness of graph properties (Q2866735) (← links)
- (Q4282526) (← links)
- (Q4295885) (← links)
- (Q4298842) (← links)
- A simple tableau system for the logic of elsewhere (Q4645235) (← links)
- (Q5884970) (← links)
- A tableau method for graded intersections of modalities: A case for concept languages (Q5960008) (← links)
- Resolution calculi for non-normal modal logics (Q6541160) (← links)