Switch to: References

Add citations

You must login to add citations.
  1. A Simple and Non-Trivial Ramsey Test.Andreas Holger - 2022 - Journal of Logic, Language and Information 31 (3):309-325.
    This paper expounds a simple and non-trivial Ramsey Test. Drawing on the work of Peter Gärdenfors, it aims to help establish an epistemic alternative to the semantics of variably strict conditionals by Robert Stalnaker (in: Rescher (ed), Studies in logical theory, Blackwell, Oxford, 1968) and David Lewis (Counterfactuals, Blackwell, Oxford, 1973). The novelty of the present contribution lies in considering the framework of Preferred Subtheories as model of belief change upon which conditionals are defined. The resulting semantics avoids triviality in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The inapplicability of (selected) paraconsistent logics.Rafal Urbaniak & Paweł Siniło - 2014 - Journal of Applied Non-Classical Logics 24 (4):368-383.
    In some cases one is provided with inconsistent information and has to reason about various consistent scenarios contained within that information. Our goal is to argue that filtered paraconsistent logics are not the right tool to handle such cases and that the problems generalise to a large class of paraconsistent logics. A wide class of paraconsistent logics is obtained by filtration: adding conditions to the classical consequence operation . We start by surveying the most promising candidates and comparing their strengths. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Adaptive Logics for Defeasible Reasoning.Christian Straßer - 2014 - Springer.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Dynamic Tractable Reasoning: A Modular Approach to Belief Revision.Holger Andreas - 2020 - Cham, Schweiz: Springer.
    This book aims to lay bare the logical foundations of tractable reasoning. It draws on Marvin Minsky's seminal work on frames, which has been highly influential in computer science and, to a lesser extent, in cognitive science. Only very few people have explored ideas about frames in logic, which is why the investigation in this book breaks new ground. The apparent intractability of dynamic, inferential reasoning is an unsolved problem in both cognitive science and logic-oriented artificial intelligence. By means of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Modular Semantics for Theories: An Approach to Paraconsistent Reasoning.Holger Andreas - 2018 - Journal of Philosophical Logic 47 (5):877-912.
    Some scientific theories are inconsistent, yet non-trivial and meaningful. How is that possible? The present paper aims to show that we can analyse the inferential use of such theories in terms of consistent compositions of the applications of universal axioms. This technique will be represented by a preferred models semantics, which allows us to accept the instances of universal axioms selectively. For such a semantics to be developed, the framework of partial structures by da Costa and French will be extended (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations