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