Miroslava Tzakova

Suggest Changes
Learn More
In this paper we discuss two hybrid languages , L(∀) and L(↓), and provide them with complete axiomatizations. Both languages combine features of modal and classical logic. Like modal languages, they(More)
  • 1