Sequent systems for nondeterministic propositional logics without reflexivity

Bouke Kuijer

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

2 Citations (Scopus)
Original languageEnglish
Title of host publicationLogic, Rationality and Interaction
Subtitle of host publicationProceedings of the Fourth International Workshop on Logic, Rationality and Interaction (LORI-IV), LNCS 8196
EditorsD. Grossi, O. Roy, H. Huang
PublisherSpringer
Pages190-203
Publication statusPublished - 2013

Cite this