Countermodels from Sequent Calculi in Multi-Modal Logics

Garg, Deepak and Genovese, Valerio and Negri, Sara
(2012) Countermodels from Sequent Calculi in Multi-Modal Logics.
In: Proc. of the 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012).
Conference: LICS - IEEE Symposium on Logic in Computer Science

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item