Tableaux and Hypersequents for Modal and Justification Logics
Media
Part of Tableaux and Hypersequents for Modal and Justification Logics
- Title
- Tableaux and Hypersequents for Modal and Justification Logics
- Identifier
- d_2009_2013:3454d03ab814:11482:pdf