Switch to: References

Add citations

You must login to add citations.
  1. Measuring inconsistency in some branching time logics.John Grant - 2021 - Journal of Applied Non-Classical Logics 31 (2):85-107.
    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...
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On measuring inconsistency in definite and indefinite databases with denial constraints.Francesco Parisi & John Grant - 2023 - Artificial Intelligence 318 (C):103884.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Handling and measuring inconsistency in non-monotonic logics.Markus Ulbricht, Matthias Thimm & Gerhard Brewka - 2020 - Artificial Intelligence 286 (C):103344.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • On quasi-inconsistency and its complexity.Carl Corea & Matthias Thimm - 2020 - Artificial Intelligence 284 (C):103276.
    Download  
     
    Export citation  
     
    Bookmark  
    		•
  • Identifying roles of formulas in inconsistency under Priest's minimally inconsistent logic of paradox.Kedian Mu - 2024 - Artificial Intelligence 335 (C):104199.
    Download  
     
    Export citation  
     
    Bookmark  
    		•
  • On measuring inconsistency in graph databases with regular path constraints.John Grant & Francesco Parisi - 2024 - Artificial Intelligence 335 (C):104197.
    Download  
     
    Export citation  
     
    Bookmark  
    		•
    Home | Bibliographies | About PhilArchive | Contact us | Code of conduct

    CDP Phiosophy Documentation Center
    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-6d5f778f9-t6hwg uwo