Logic and Logical Philosophy 15 (3):251-276 (2007)

Abstract
It is known that the full computation-tree logic CTL * is an important base logic for model checking. The bisimulation theorem for CTL* is known to be useful for abstraction in model checking. In this paper, the bisimulation theorems for two paraconsistent four-valued extensions 4CTL* and 4LCTL* of CTL* are shown, and a translation from 4CTL* into CTL* is presented. By using 4CTL* and 4LCTL*, inconsistency-tolerant and spatiotemporal reasoning can be expressed as a model checking framework
Keywords location operator  full computation-tree logic  bisimulation  paraconsistent model checking
Categories (categorize this paper)
DOI 10.12775/LLP.2006.015
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,342
Through your library

References found in this work BETA

Constructible Falsity and Inexact Predicates.Ahmad Almukdad & David Nelson - 1984 - Journal of Symbolic Logic 49 (1):231-233.
Constructible Falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.

View all 10 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

An Axiomatization of Full Computation Tree Logic.M. Reynolds - 2001 - Journal of Symbolic Logic 66 (3):1011-1057.
Model Checking for Hybrid Logic.Martin Lange - 2009 - Journal of Logic, Language and Information 18 (4):465-491.
The Complexity of Hybrid Logics Over Equivalence Relations.Martin Mundhenk & Thomas Schneider - 2009 - Journal of Logic, Language and Information 18 (4):493-514.
A Framework for Model Checking Institutions.Francesco Vigano - 2007 - In A. Lomuscio & S. Edelkamp (eds.), Model Checking and Artificial Intelligence. Springer. pp. 129--145.
Polyadic Dynamic Logics for Hpsg Parsing.Anders Søgaard & Martin Lange - 2009 - Journal of Logic, Language and Information 18 (2):159-198.

Analytics

Added to PP index
2013-11-24

Total views
27 ( #359,669 of 2,326,106 )

Recent downloads (6 months)
16 ( #38,379 of 2,326,106 )

How can I increase my downloads?

Downloads

My notes