Back to Search
Start Over
Typology of axioms for a weighted modal logic.
- Source :
-
International Journal of Approximate Reasoning . Nov2017, Vol. 90, p341-358. 18p. - Publication Year :
- 2017
-
Abstract
- This paper introduces and studies extensions of modal logics by investigating the soundness of classical modal axioms in a weighted framework. It discusses the notion of relevant weight values, in a specific weighted Kripke semantics and exploits accessibility relation properties. Different generalisations of the classical axioms are constructed and, from these, a typology of weighted axioms is built, distinguishing between four types, depending on their relations to their classical counterparts and to the, possibly equivalent, frame conditions. [ABSTRACT FROM AUTHOR]
- Subjects :
- *AXIOMS
*MATHEMATICS
*AXIOMATIC set theory
*KRIPKE semantics
*MATHEMATICAL logic
Subjects
Details
- Language :
- English
- ISSN :
- 0888613X
- Volume :
- 90
- Database :
- Academic Search Index
- Journal :
- International Journal of Approximate Reasoning
- Publication Type :
- Periodical
- Accession number :
- 125287473
- Full Text :
- https://doi.org/10.1016/j.ijar.2017.06.011