scientific article; zbMATH DE number 2079776
From MaRDI portal
Publication:4471865
zbMATH Open1043.03508MaRDI QIDQ4471865FDOQ4471865
Authors: Jair Minoro Abe, Seiki Akama 
Publication date: 30 July 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/1952/19520217.htm
Title of this publication is not available (Why is that?)
Recommendations
- A Paraconsistent Linear-time Temporal Logic
- Paraconsistent sequential linear-time temporal logic: combining paraconsistency and sequentiality in temporal reasoning
- Probabilistic semantics for a discussive temporal logic
- Model checking temporal aspects of inconsistent concurrent systems based on paraconsistent logic
- Paraconsistent computation tree logic
Cited In (12)
- Embedding-based approaches to paraconsistent and temporal description logics
- Temporal BI: proof system, semantics and translations
- SOFSEM 2006: Theory and Practice of Computer Science
- Combining linear-time temporal logic with constructiveness and paraconsistency
- On Temporal Properties of Knowledge Base Inconsistency
- Paraconsistency, Chellas's conditional logics, and association rules
- Interval semantics for description of change
- Jair Minoro Abe on paraconsistent engineering
- Model checking temporal aspects of inconsistent concurrent systems based on paraconsistent logic
- Probabilistic semantics for a discussive temporal logic
- A survey of annotated logics
- Structured specification of paraconsistent transition systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4471865)
