- 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
Measuring inconsistency in some branching time logics
Journal of Applied Non-Classical Logics 31 (2):85-107 (2021)
Abstract
Branching time logics have been studied in computer science since the 1980s primarily to model the tree of computations for discrete transition systems. Inconsistency measures for propositional log...My notes
Similar books and articles
Postulate satisfaction for inconsistency measures in monotonic logics and databases.John Grant - 2023 - Journal of Applied Non-Classical Logics 33 (3):537-560.
Branching-time logics repeatedly referring to states.Volker Weber - 2009 - Journal of Logic, Language and Information 18 (4):593-624.
Measuring Inconsistency in Generalized Propositional Logic Extended with Nonunary Operators.John Grant - 2023 - Logica Universalis 17 (3):373-404.
Measuring Inconsistency in Generalized Propositional Logic.John Grant - 2020 - Logica Universalis 14 (3):331-356.
Temporal Logics with Reference Pointers and Computation Tree Logics.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3):221-242.
Measuring Inconsistency in Some Logics with Tense Operators.John Grant - 2022 - Notre Dame Journal of Formal Logic 63 (3):415-440.
Temporal Logics with Reference Pointers and Computation Tree Logics.Valentin Goranko - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):221-242.
Measuring Inconsistency in Some Logics with Modal Operators.John Grant - 2020 - Studia Logica 109 (3):581-605.
Handling inconsistency in knowledge systems.Gerd Wagner - 1997 - Journal of Applied Non-Classical Logics 7 (1-2):147-150.
Handling inconsistency in knowledge systems.Gerd Wagner - 1997 - Journal of Applied Non-Classical Logics 7 (1-2):7-12.
Analytics
Added to PP
2021-05-29
Downloads
16 (#905,992)
6 months
3 (#1,208,233)
2021-05-29
Downloads
16 (#905,992)
6 months
3 (#1,208,233)
Historical graph of downloads
Citations of this work
Measuring Inconsistency in Generalized Propositional Logic Extended with Nonunary Operators.John Grant - 2023 - Logica Universalis 17 (3):373-404.
References found in this work
Relative inconsistency measures.Philippe Besnard & John Grant - 2020 - Artificial Intelligence 280 (C):103231.
Inconsistency measures for probabilistic logics.Matthias Thimm - 2013 - Artificial Intelligence 197 (C):1-24.
On the complexity of inconsistency measurement.Matthias Thimm & Johannes P. Wallner - 2019 - Artificial Intelligence 275 (C):411-456.
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-6686886f5-7g5mb uwo