75 search results - page 12 / 15 » Abstract Interpretation of Proofs: Classical Propositional C... |
102
click to vote
TPHOL
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
AML
2006
15 years 12 days ago
2006
Abstract Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'...
117
click to vote
CSL
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ļ...
91
Voted
LICS
2007
IEEE
15 years 6 months ago
2007
IEEE
Set theories are traditionally based on ļ¬rst-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many beneļ¬ts. To this end, we...
133
click to vote
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...