158 search results - page 7 / 32 » Strong logics of first and second order |
127
click to vote
ISMIS
1994
Springer
15 years 6 months ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
101
Voted
JUCS
2007
15 years 1 months ago
2007
: Mapping the specification IMS Learning Design and the Course Management System Moodle is a logical step forward on interoperability between eLearning systems and specifications i...
132
click to vote
CSL
2007
Springer
15 years 5 months ago
2007
Springer
We give a new proof showing that it is not possible to define in monadic second-order logic (MSO) a choice function on the infinite binary tree. This result was first obtained by G...
126
Voted
CAEPIA
2009
Springer
15 years 3 months ago
2009
Springer
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of close...
111
Voted
TABLEAUX
1998
Springer
15 years 6 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 ...