Sciweavers

JOLLI   2002
Wall of Fame | Most Viewed JOLLI-2002 Paper
JOLLI
2002
141views more  JOLLI 2002»
13 years 6 months ago
Naming Worlds in Modal and Temporal Logic
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...
Dov M. Gabbay, G. Malod
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source141
2Download preprint from source125
3Download preprint from source120
4Download preprint from source109
5Download preprint from source92
6Download preprint from source80
7Download preprint from source74
8Download preprint from source73
9Download preprint from source56
10Download preprint from source55