825 search results - page 20 / 165 » Modal Logics with Counting |
IGPL
2002
14 years 11 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
15 years 6 months ago
2009
Springer
JAPLL
2010
14 years 10 months ago
2010
CSL
2005
Springer
15 years 5 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...