551 search results - page 37 / 111 » Realizability of Real-Time Logics |
166
Voted
JAPLL
2010
15 years 19 days ago
2010
Hybrid logics internalize their own semantics. Members of the newer family of justification logics internalize their own proof methodology. It is an appealing goal to combine thes...
148
click to vote
MLQ
2010
15 years 4 months ago
2010
This article systematically investigates so-called “truth variants” of several functional interpretations. We start by showing a close relation between two variants of modifi...
165
click to vote
IANDC
2010
15 years 4 months ago
2010
This article shows how different functional interpretations can be combined into what we term hybrid functional interpretations. These hybrid interpretations work on the setting o...
161
click to vote
WOLLIC
2007
Springer
15 years 12 months ago
2007
Springer
We survey several computational interpretations of classical linear logic based on two-player one-move games. The moves of the games are higherorder functionals in the language of ...
139
click to vote
APLAS
2007
ACM
15 years 9 months ago
2007
ACM
The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: ...