3624 search results - page 23 / 725 » Abstract Algebraic Logic |
IJCAI
2003
15 years 1 months ago
2003
emic Logic for Arbitration (Extended Abstract)
ENTCS
2007
14 years 11 months ago
2007
We introduce a class of coalgebraic models and a family of modal logics that support the speci cation of spatial properties of distributed applications. The evaluation of a formul...
CSL
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. We study a weakening of the notion of logical relations, called prelogical relations, that has many of the features that make logical relations so useful but having furth...
104
Voted
ICLP
1991
Springer
15 years 3 months ago
1991
Springer
Interpretation of Logic Programs 1
IGPL
2007
14 years 11 months ago
2007
This article studies preservation of certain algebraic properties of propositional logics when combined by fibring. The logics analyzed here are classified in protoalgebraic, eq...