797 search results - page 25 / 160 » Logics with an existential modality |
IGPL
2002
13 years 10 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 5 months ago
2009
Springer
CNKBS
1992
14 years 3 days ago
1992
JAPLL
2010
13 years 9 months ago
2010
CSL
2005
Springer
14 years 4 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...