Functional systems in the context of temporal×modal logics with indexed flows

We consider logics which define different properties of functions - such as injectivity, surjectivity, monotonicity, etc. - in the context of temporal×modal logic. In this type of logics, the possible worlds semantics is modified by considering each world as a temporal flow and using accessibility f...

Full description

Saved in:
Bibliographic Details
Published in:International journal of computer mathematics 2009-11, Vol.86 (10-11), p.1696-1706
Main Authors: Burrieza, A., de Guzmán, I. P., Muñoz-Velasco, E.
Format: Article
Language:English
Subjects:
definability
functional axiomatic systems
logic in computer science
modal logic
temporal logic
T×W-logics
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We consider logics which define different properties of functions - such as injectivity, surjectivity, monotonicity, etc. - in the context of temporal×modal logic. In this type of logics, the possible worlds semantics is modified by considering each world as a temporal flow and using accessibility functions to represent the connection among them. This approach is adequate to model interactions between processes with clocks that can be either synchronized or not. We study the definability and give indexed axiomatic systems for these properties.
ISSN:0020-7160
1029-0265
DOI:10.1080/00207160902795619