Skip to content

Decidability of IF Modal Logic of Perfect Recall.

Tapani Hyttinen, Tero Tulenheimo

VenueBAiML
Year2004
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.