Representation theorems in modal logic using algebraic logic

MaRDI QIDQ6240863zbMATH OpenFDO

Authors Tarek Sayed Ahmed

Publication date 3 April 2013

Abstract: We prove several representation theorems for infinitary predicate modal logic

This page was built for publication: Representation theorems in modal logic using algebraic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6240863)