JOLLI
2002
13 years 4 months ago
2002
A concept language with role intersection and number restriction is defined and its modal equivalent is provided. The main reasoning tasks of satisfiability and subsumption checkin...
JOLLI
2002
13 years 4 months ago
2002
Dynamic Predicate Logic (DPL) is a variant of Predicate Logic introduced by Groenendijk en Stokhof. One rationale behind the indroduction of DPL is that it is closer to Natural La...
JOLLI
2002
13 years 4 months ago
2002
Abstract. Relational Grammar (RG) was introduced in the 70's as a theory of grammatical relations and relation change, for example, passivization, dative shift, and raising. F...
JOLLI
2002
13 years 4 months ago
2002
JOLLI
2002
13 years 4 months ago
2002
In this paper it is argued that Hintikka's game theoretical semantics for Independence Friendly logic does not formalize the intuitions about independent choices; it rather is...
JOLLI
2002
13 years 4 months ago
2002
JOLLI
2002
13 years 4 months ago
2002
In this paper, we discuss some formal properties of the model of bidirectional Optimality Theory that was developed in Blutner 2000. We investigate the conditions under which bidi...
JOLLI
2002
13 years 4 months ago
2002
In this paper we suggest adding to predicate modal and temporal logic a locality predicate W which gives names to worlds (or time points). We also study an equal time predicate D(x...
JOLLI
2002
13 years 4 months ago
2002
We analyze extensive games as interactive process models, using modal languages plus matching notions of bisimulation as varieties of game equivalences. Our technical results show ...
JOLLI
2002
13 years 4 months ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...