The following pages link to Modal logic with names (Q1310624):
Displaying 11 items.
- Hybrid Tableaux for the Difference Modality (Q4982124) (← links)
- (Q4994195) (← links)
- The Minimal System of Justification Logic with Names (Q5213663) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- Computer Science Logic (Q5292670) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902189) (← links)
- A Road Map of Interval Temporal Logics and Duration Calculi (Q5902190) (← links)
- A Qualitative Theory of Cognitive Attitudes and their Change (Q6063857) (← links)
- TAMING THE ‘ELSEWHERE’: ON EXPRESSIVITY OF TOPOLOGICAL LANGUAGES (Q6131227) (← links)
- Hybrid modal operators for definite descriptions (Q6545576) (← links)
- Modal logic and planarity of graphs (Q6601689) (← links)