2500 search results - page 24 / 500 » Logical Semantics of Modularisation |
AGP
2003
IEEE
15 years 4 months ago
2003
IEEE
TABLEAUX
1998
Springer
15 years 2 months ago
1998
Springer
The methodology of fibring is a successful framework for combining logical systems based on combining their semantics. In this paper, we extend the fibring approach to calculi for ...
STACS
2007
Springer
15 years 4 months ago
2007
Springer
Coalgebras provide a unifying semantic framework for a wide variety of modal logics. It has previously been shown that the class of
EUSFLAT
2007
15 years 5 days ago
2007
We propose a general semantic notion of modal many-valued logic. Then, we explore the difficulties to characterize this notation in a syntactic way and analyze the existing litera...
CLIMA
2007
15 years 5 days ago
2007
Over the years, Logic Programming has proved to be a good and natural tool for expressing, querying and manipulating explicit knowledge in many areas of computer science. However, ...