1743 search results - page 102 / 349 » Generalized Modal Satisfiability |
97
Voted
CLIMA
2004
15 years 2 months ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...
130
Voted
CORR
2006
Springer
15 years 24 days ago
2006
Springer
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general m...
93
Voted
IJRFITA
2007
15 years 21 days ago
2007
: In this paper, we collect and extend the theory of Radio Frequency (RF) propagation within rectangular metal pipes. This work is motivated by the need to understand the operation...
88
Voted
AI
2004
Springer
15 years 20 days ago
2004
Springer
We give a formal semantics for a highly expressive language for representing temporal relationships and events. This language, which we call Versatile Event Logic (VEL), provides ...
112
Voted
JAIR
2002
15 years 14 days ago
2002
Is there a general model that can predict the perceived phrase structure in language and music? While it is usually assumed that humans have separate faculties for language and mu...