2012-01-01

Countermodels from Sequent Calculi in Multi-Modal Logics

Tags

Trustworthy Information Processing

Conference / Medium

Proc. of the 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012)

Date published

2012-01-01

Date last modified

2019-07-18 12:09:28

Authors

Deepak Garg
Valerio Genovese
Sara Negri

Download