2500 search results - page 42 / 500 » Logical Semantics of Modularisation |
115
Voted
ACL
2007
15 years 11 days 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...
78
Voted
TABLEAUX
1999
Springer
15 years 3 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...
83
Voted
LPAR
2010
Springer
14 years 8 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:
CORR
2010
Springer
14 years 11 months 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...
84
Voted
ROOM
2000
15 years 7 days 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...