↓ Skip to main content
What is this page? Embed badge

Beyond Two: Theory and Applications of Multiple-Valued Logic

Overview of attention for book
Cover of 'Beyond Two: Theory and Applications of Multiple-Valued Logic'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Algebras for Hazard Detection
  3. Altmetric Badge
    Chapter 2 An Abstract Algebraic Logic View of Some Mutiple-valued Logics
  4. Altmetric Badge
    Chapter 3 Representation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving
  5. Altmetric Badge
    Chapter 4 An Algebraic Approach to Entropy and its Generalizations — A Survey
  6. Altmetric Badge
    Chapter 5 Classical Gentzen-type Methods in Propositional Many-valued Logics
  7. Altmetric Badge
    Chapter 6 Sequent of Relations Calculi: A Framework for Analytic Deduction in Many-valued Logics
  8. Altmetric Badge
    Chapter 7 Polarity-based Stochastic Local Search Algorithms for Non-clausal Satisfiability
  9. Altmetric Badge
    Chapter 8 Model Checking for Multi-valued Computation Tree Logics
  10. Altmetric Badge
    Chapter 9 Complexity of Many-valued Logics
  11. Altmetric Badge
    Chapter 10 Ternary Kleenean Non-additive Measures
  12. Altmetric Badge
    Chapter 11 On the Hierarchy of t-norm Based Residuated Fuzzy Logics
  13. Altmetric Badge
    Chapter 12 A Development of Set Theory in Fuzzy Logic
  14. Altmetric Badge
    Chapter 13 A Fuzzy Generalisation of Information Relations
  15. Altmetric Badge
    Chapter 14 Weierstrass Approximation Theorem and Łukasiewicz Formulas with one Quantified Variable
  16. Altmetric Badge
    Chapter 15 A Łukasiewicz—style Many-valued Similarity Reasoning. Review
  17. Altmetric Badge
    Chapter 16 Two Values, Three Values, Many Values, No Values
Attention for Chapter 8: Model Checking for Multi-valued Computation Tree Logics
Altmetric Badge

Citations

dimensions_citation
16 Dimensions

Readers on

mendeley
1 Mendeley
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Model Checking for Multi-valued Computation Tree Logics
Chapter number 8
Book title
Beyond Two: Theory and Applications of Multiple-Valued Logic
Published by
Physica, Heidelberg, January 2003
DOI 10.1007/978-3-7908-1769-0_8
Book ISBNs
978-3-79-082522-0, 978-3-79-081769-0
Authors

Beata Konikowska, Wojciech Penczek, Konikowska, Beata, Penczek, Wojciech

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Denmark 1 100%

Demographic breakdown

Readers by professional status Count As %
Professor 1 100%
Readers by discipline Count As %
Computer Science 1 100%

This page is provided by Altmetric.