axiomatizations of temporal logic

Axiomatizations of Temporal Logic 10723029 Xu Zhaoqing

Upload: bairn

Post on 23-Feb-2016

65 views

Category:

Documents

0 download

Report

Download

Embed Size (px):

DESCRIPTION

Axiomatizations of Temporal Logic . 10723029 Xu Zhaoqing. I. Content. Introduction Basic temporal logic Branching time logic Conclusions. II. Introduction. Temporal Logic Broadly : all approaches to the representation of temporal information within a logical framework; - PowerPoint PPT Presentation

TRANSCRIPT

Axiomatizations of Temporal Logic 10723029Xu ZhaoqingI. ContentIntroductionBasic temporal logicBranching time logicConclusionsII. IntroductionTemporal LogicBroadly: all approaches to the representation of temporal information within a logical framework;Narrowly: the modal-style of temporal logic;III. Basic Temporal Logic1. Syntax and semantics2. The Minimal logic Kt3. The IRR rule4. The logic of linear time 1. Syntax and SemanticsLanguage:,,G,HF =df GP =df HA temporal frame (or flow of time) F=(T,)where T is non-emptyis a binary relation which is irreflexive and transitive; A valuation V: P(T) ; A model M=(F,V);

Satisfaction:M, t ||- p ifftV(p), where p,M, t ||- iffnot M, t,M, t ||- iffM, t and M, t ,M, t ||- G ifffor all sT, if t

1 Predicate Logic Rosen 6 th ed., § 1.3-1.4 2 Predicate Logic Predicate logic is an extension of propositional logic that permits concisely reasoning

Causality in Message-Based Interface Contracts: A Temporal Logic "Whodunit"

Realization of basic memory elements by bicmos logic and comparative study with cmos logic

Two Algorithms for Model Checking of Regular Linear ......Abstract This thesis studies the satisﬁability and model checking problem for Regular Linear Temporal Logic (RLTL). In the

Realizations of complex logic operations at the … of complex logic operations at the nanoscale F. Remacle University of Liège, Belgium 2nd ... •multivalued logic scheme •CMOS

Linear Temporal Logic - Rich Model Toolkit

Fuzzy sets and geometric logic - University of Birminghamsjv/GeoFuzzy.pdfFuzzy sets and geometric logic Steven Vickers School of Computer Science, University of Birmingham, Birmingham,

Algebra for Infinite Forests with an Application to the Temporal Logic

Integration of Graph Transformation and Temporal Logic for the Specification of Distributed

1st Week - Introduction of Fuzzy Logic

Analysis and Design of Combinational Logic