On the complexity of the disjunction property in intuitionistic and modal logics

By Mauro Ferrari, Camillo Fiorentini and Guido Fiorino

Publisher: Association for Computing Machinery (ACM)

Year: 2005

DOI identifier: 10.1145/1071596.1071598

OAI identifier:

Provided by: MUCC (Crossref)

Download PDF:
_{Sorry, we are unable to provide the full text but you may find it at the
following location(s):}

https://air.unimi.it/bitstream... (external link)