Skip to content

A Class of Information Logics with a Decidable Validity Problem.

Stphane Demri

VenueBMFCS
Year1996
ProceedingsMFCS

Browse the full MFCS paper archive.