scientific article; zbMATH DE number 2079776

MaRDI QIDQ4471865zbMATH OpenFDO

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

zbMATH Keywords

paraconsistencyparaconsistent temporal logictime in paraconsistent logics

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Temporal logic (03B44)

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
• Combining linear-time temporal logic with constructiveness and paraconsistency
• SOFSEM 2006: Theory and Practice of Computer Science
• 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)