Polynomial semantics for modal logics
Autor: | Juan C. Agudelo-Agudelo, Santiago Echeverri-Valencia |
---|---|
Rok vydání: | 2019 |
Předmět: |
Polynomial
Logic Semantics (computer science) 010102 general mathematics Modal logic 02 engineering and technology Extension (predicate logic) 01 natural sciences Algebra Philosophy Gröbner basis Modal Computer Science::Logic in Computer Science 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing 0101 mathematics Finite set Computer Science::Databases Axiom Mathematics |
Zdroj: | Journal of Applied Non-Classical Logics. 29:430-449 |
ISSN: | 1958-5780 1166-3081 |
Popis: | 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... |
Databáze: | OpenAIRE |
Externí odkaz: |