825 search results - page 20 / 165 » Modal Logics with Counting |
IGPL
2002
13 years 7 months ago
2002
Fibring is defined as a mechanism for combining logics with a firstorder base, at both the semantic and deductive levels. A completeness theorem is established for a wide class of...
ICLA
2009
Springer
14 years 2 months ago
2009
Springer
CNKBS
1992
13 years 9 months ago
1992
JAPLL
2010
13 years 6 months ago
2010
CSL
2005
Springer
14 years 1 months ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...