Frame-Validity Games and Absolute Minimality of Modal Axioms.
Philippe Balbiani, David Fernndez-Duque, Andreas Herzig, Petar Iliev
Browse the full AiML paper archive.
Philippe Balbiani, David Fernndez-Duque, Andreas Herzig, Petar Iliev
Browse the full AiML paper archive.