MAT Logic: A Temporal×Modal Logic with Non-deterministic Operators to Deal with Interactive Systems in Communication Technologies
نویسندگان
چکیده
In this paper, the Multi-flow Asynchronous Temporal Logic, called MAT Logic, is presented. MAT Logic is a new temporal×modal logic with non-deterministic operators among time flows as accessibility relations. The main goal of this work has been the design and description of a logic that could be capable of managing communications among systems with not necessarily synchronizable time flows. In order to better understand the design of the logic, an example in the field of communications is given.
منابع مشابه
Suhrawardi's Modal Syllogisms
Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositi...
متن کاملSatissability Problem in Description Logics with Modal Operators
The paper considers the standard concept description language ALC augmented with various kinds of modal operators which can be applied to concepts and axioms. The main aim is to develop methods of proving decid-ability of the satissability problem for this language and apply them to description logics with most important temporal and epis-temic operators, thereby obtaining satissa-bility checki...
متن کاملA Novel Method Design Multiplexer Quaternary with CNTFET
Background and Objectives: In recent decades, due to the effect of the short channel, the use of CMOS transistors in the nanoscale has become a major concern. One option to deal with this issue is the use of nano-transistors. Methods: Using nano-transistors and multi-valued logic (MVL) can reduce the level of chips and connections and have a direct impact on power consumption. The present study...
متن کاملA survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems
Behavioral equivalences are a means to establish whether computing systems possess the same properties. The specific set of properties that are preserved by a specific behavioral equivalence clearly depends on how the system behavior is observed and can usually be characterized by means of a modal logic. In this paper we consider three different approaches to the definition of behavioral equiva...
متن کاملA Logical Framework to Deal with Variability
We present a logical framework that is able to deal with variability in product family descriptions. The temporal logic MHML is based on the classical Hennessy–Milner logic with Until and we interpret it over Modal Transition Systems (MTSs). MTSs extend the classical notion of Labelled Transition Systems by distinguishing possible (may) and required (must) transitions: these two types of transi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006