Original language | English |
---|---|
Title of host publication | Logic, Rationality and Interaction |
Subtitle of host publication | Proceedings of the Fourth International Workshop on Logic, Rationality and Interaction (LORI-IV), LNCS 8196 |
Editors | D. Grossi, O. Roy, H. Huang |
Publisher | Springer |
Pages | 190-203 |
Publication status | Published - 2013 |
Sequent systems for nondeterministic propositional logics without reflexivity
Bouke Kuijer
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic
2
Citations
(Scopus)