2500 search results - page 42 / 500 » Logical Semantics of Modularisation |
133
click to vote
ACL
2007
15 years 2 months ago
2007
This paper presents the first empirical results to our knowledge on learning synchronous grammars that generate logical forms. Using statistical machine translation techniques, a...
96
Voted
TABLEAUX
1999
Springer
15 years 4 months ago
1999
Springer
Hybrid logics were proposed in 15 as a way of boosting the expressivity of modal logics via a novel mechanism: adding labels for states in Kripke models and viewing these labels as...
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community:
105
click to vote
CORR
2010
Springer
15 years 22 days ago
2010
Springer
We refine HO/N game semantics with an additional notion of pointer (mu-pointers) and extend it to first-order classical logic with completeness results. We use a Church style exte...
106
click to vote
ROOM
2000
15 years 2 months ago
2000
In this paper we provide a systematic formal interpretation for most elements of the UML notation. This interpretation, in a structured temporal logic, enables precise analysis of...