- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Polynomial semantics for modal logics
Journal of Applied Non-Classical Logics 29 (4):430-449 (2019)
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.My notes
Similar books and articles
Polynomial ring calculus for modal logics: A new semantics and proof method for modalities: Polynomial ring calculus for modal logics.Juan C. Agudelo - 2011 - Review of Symbolic Logic 4 (1):150-170.
On polynomial semantics for propositional logics.Juan C. Agudelo-Agudelo, Carlos A. Agudelo-González & Oscar E. García-Quintero - 2016 - Journal of Applied Non-Classical Logics 26 (2):103-125.
Restricted Classical Modal Logics.Cezar Mortari - 2007 - Logic Journal of the IGPL 15 (5-6):741-757.
Kripke semantics for modal substructural logics.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (4):453-470.
Predicate Modal Logics Do Not Mix Very Well.Olivier Gasquet - 1998 - Mathematical Logic Quarterly 44 (1):45-49.
A Polynomial Translation Of S4 Into T And Contraction–free Tableaux For S4.Serenella Cerrito & Marta Cialdea Mayer - 1997 - Logic Journal of the IGPL 5 (2):287-300.
Errata and Addenda to ‘Finite non-deterministic semantics for some modal systems’.Marcelo E. Coniglio, Luis Fariñas del Cerro & Newton M. Peron - 2016 - Journal of Applied Non-Classical Logics 26 (4):336-345.
Dugundji’s Theorem Revisited.Marcelo E. Coniglio & Newton M. Peron - 2014 - Logica Universalis 8 (3-4):407-422.
Some Results on Modal Axiomatization and Definability for Topological Spaces.Guram Bezhanishvili, Leo Esakia & David Gabelaia - 2005 - Studia Logica 81 (3):325-355.
Halldén Completeness for Relevant Modal Logics.Takahiro Seki - 2015 - Notre Dame Journal of Formal Logic 56 (2):333-350.
General Modal Incompleteness and Finite Axiomatizability.Roy Albert Benton - 1985 - Dissertation, University of Michigan
Some Connections between Topological and Modal Logic.Kurt Engesser - 1995 - Mathematical Logic Quarterly 41 (1):49-64.
Two semantical approaches to paraconsistent modalities.Juliana Bueno-Soler - 2010 - Logica Universalis 4 (1):137-160.
An Interpretation of Łukasiewicz’s 4-Valued Modal Logic.José M. Méndez, Gemma Robles & Francisco Salto - 2016 - Journal of Philosophical Logic 45 (1):73-87.
Analytics
Added to PP
2019-10-21
Downloads
23 (#685,787)
6 months
12 (#220,085)
2019-10-21
Downloads
23 (#685,787)
6 months
12 (#220,085)
Historical graph of downloads
References found in this work
Modal logic: A semantic perspective.Patrick Blackburn & Johan van Benthem - 1988 - Ethics 98:501-517.
Polynomial ring calculus for modal logics: A new semantics and proof method for modalities: Polynomial ring calculus for modal logics.Juan C. Agudelo - 2011 - Review of Symbolic Logic 4 (1):150-170.
On polynomial semantics for propositional logics.Juan C. Agudelo-Agudelo, Carlos A. Agudelo-González & Oscar E. García-Quintero - 2016 - Journal of Applied Non-Classical Logics 26 (2):103-125.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ff6c685cb-rskd8 uwo