Reasoning about inconsistent concurrent systems: a non-classical temporal logic
Abstract
References
Index Terms
- Reasoning about inconsistent concurrent systems: a non-classical temporal logic
Recommendations
Efficient reasoning with inconsistent information using C-systems
The paper subsumes and extends in a radical way a line of research aimed at automation of reasoning with inconsistent information using paraconsistent logics. We provide a new method for uniform, modular construction of analytic calculi for all major ...
Three-valued logic for reasoning from an inconsistent knowledge base
Nontrivial reasoning under inconsistency, called paraconsistent reasoning, has been discussed mainly in two frameworks; one is the classical logic (consistency-based) framework and the other is the three-valued logic framework. In this paper, we propose ...
Testing concurrent systems: an interpretation of intuitionistic logic
FSTTCS '05: Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer ScienceWe present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programming (CCP, [Sar93]) as a fragment of (intuitionistic, higher-order) logic. This ...
Comments
Information & Contributors
Information
Published In
Sponsors
- ERCIM: European Research Consortium for Informatics & Mathematics
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0