Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Polynomial semantics for modal logics

Polynomial semantics for modal logics It is shown here that the modal logic K and any extension of it with a finite number of axioms can be characterised by a polynomial semantics. Moreover, some comments are made about the possibility of using algebraic computation to determine deducibility on these logics. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Journal of Applied Non-Classical Logics Taylor & Francis

Polynomial semantics for modal logics

Download PDF

Polynomial semantics for modal logics

Abstract

It is shown here that the modal logic K and any extension of it with a finite number of axioms can be characterised by a polynomial semantics. Moreover, some comments are made about the possibility of using algebraic computation to determine deducibility on these logics.
Loading next page...
 
/lp/taylor-francis/polynomial-semantics-for-modal-logics-lU7IqmWUpG
Publisher
Taylor & Francis
Copyright
© 2019 Informa UK Limited, trading as Taylor & Francis Group
ISSN
1958-5780
eISSN
1166-3081
DOI
10.1080/11663081.2019.1676004
Publisher site
See Article on Publisher Site

Abstract

It is shown here that the modal logic K and any extension of it with a finite number of axioms can be characterised by a polynomial semantics. Moreover, some comments are made about the possibility of using algebraic computation to determine deducibility on these logics.

Journal

Journal of Applied Non-Classical Logics – Taylor & Francis

Published: Oct 2, 2019

Keywords: Polynomial semantics; modal logic; modal polynomials; Gröbner basis

References

  • On polynomial semantics for propositional logics
  • Polynomial ring calculus for modalities
  • Polynomial ring calculus for modal logics: A new semantics and proof method for modalities
  • Polybori: A framework for Gröbner-basis computations with boolean polynomials
  • Polynomial ring calculus for logical inference
  • The method of polynomial ring calculus and its potentialities
  • Multivalued logic and Gröbner bases with applications to modal logic
  • A polynomial model for logics with a prime power number of truth values
  • Propositional consequence relations and algebraic logic
  • A computer algebra approach to verification and deduction in many-valued knowledge systems
  • A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
  • Boolean Gröbner Bases