Representation theorems in modal logic using algebraic logic

arxiv: 1304.0958 · v1 · pith:BEZAG33Rnew · submitted 2013-04-03 · 🧮 math.LO

Tarek Sayed Ahmed This is my paper

classification 🧮 math.LO

keywords logicmodalrepresentationtheoremsalgebraicinfinitarypredicateprove

0 comments

read the original abstract

We prove several representation theorems for infinitary predicate modal logic

This paper has not been read by Pith yet.