2432 search results - page 88 / 487 » Cryptographic logical relations |
112
Voted
BIRTHDAY
2010
Springer
15 years 23 days ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
105
click to vote
JUCS
2006
15 years 15 days ago
2006
: We investigate behavioral institutions and refinements in the context of the object oriented paradigm. The novelty of our approach is the application of generalized abstract alge...
125
Voted
CADE
2001
Springer
16 years 26 days ago
2001
Springer
The modalities of Dynamic Logic refer to the final state of a program execution and allow to specify programs with pre- and postconditions. In this paper, we extend Dynamic Logic w...
87
Voted
TYPES
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...
96
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purpo...