View year:

  1.  5
    Metric dynamic equilibrium logic.Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Farinas del Cerro, Torsten Schaub & Anna Schuhmann - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):495-519.
    1. Reasoning about action and change, or more generally reasoning about dynamic systems, is not only central to knowledge representation and reasoning but at the heart of computer science (Fisher e...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  4
    Selecting accepted assertions in partially ordered inconsistent DL-Lite knowledge bases.Sihem Belabbes & Salem Benferhat - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):561-581.
    1. Real-world applications, such as monitoring urban wastewater networks, commonly process large volumes of multi-source, heterogeneous data to support reasoning, query answering and decision-makin...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  5
    Morphologic for knowledge dynamics: revision, fusion and abduction.Isabelle Bloch, Jérôme Lang, Ramón Pino Pérez & Carlos Uzcátegui - 2023 - Journal of Applied Non-Classical Logics 33 (3):421-466.
    Several tasks in artificial intelligence require the ability to find models about knowledge dynamics. They include belief revision, fusion and belief merging, and abduction. In this paper, we exploit the algebraic framework of mathematical morphology in the context of propositional logic and define operations such as dilation or erosion of a set of formulas. We derive concrete operators, based on a semantic approach, that have an intuitive interpretation and that are formally well behaved, to perform revision, fusion and abduction. Computation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  9
    An empirical and axiomatic comparison of ranking-based semantics for abstract argumentation.Elise Bonzon, Jérôme Delobelle, Sébastien Konieczny & Nicolas Maudet - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):328-386.
    1. Argumentation consists in reasoning with conflicting information based on the exchange and evaluation of interacting arguments. It can be used for modelling dialogue (persuasion, negotiation), d...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  8
    Belief revision and incongruity: is it a joke?Florence Dupin de Saint-Cyr & Henri Prade - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):467-494.
    ‘Incongruity is never superfluous’Thea Arbee (2016) Is the superfluous a (new) modality?11. Even if much has been written about ingredients that trigger laughter, researchers are still far from hav...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  7
    Logic, arguments and inconsistencies: an introduction to the festschrift in honour of Philippe Besnard.Sylvie Doutre, Andreas Herzig & Anthony Hunter - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):207-211.
    1. In this special issue of the Journal of Applied Non-Classical Logics, we aim to celebrate the recent retirement of Philippe Besnard as directeur de recherche in the Centre National de Recherche...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  2
    RAFDivider: a distributed algorithm for computing semantics in higher-order abstract argumentation frameworks.Sylvie Doutre & Marie-Christine Lagasquie-Schiex - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):244-297.
    1. Argumentation, by considering arguments and their interactions, is a way of reasoning that has proven successful in many contexts, for instance, in multi-agent applications (Carrera & Iglesias,...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  4
    An elementary belief function logic.Didier Dubois, Lluis Godo & Henri Prade - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):582-605.
    1. There are two distinct lines of research that aim at modelling belief and knowledge: modal logic and uncertainty theories. Modal logic extends classical logic by introducing knowledge or belief...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  6
    Expressiveness of SETAFs and support-free ADFs under 3-valued semantics.W. Dvořák, A. Keshavarzi Zafarghandi & S. Woltran - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):298-327.
    1. The last 25 years have seen an increasing interest in the area of formal argumentation. The ultimate goal of the field is to come up with computational models of how we make decisions, based on...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  8
    Merging operators on stratified belief bases equipped with argumentative inference.Marcelo A. Falappa, Alejandro J. García & Guillermo R. Simari - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):387-420.
    This work considers the formalisation of the merging process of stratified belief bases, where beliefs are stored in different layers or strata. Their strata are ranked, following a total order, employing the value the agent using the belief base assigns to these beliefs. The agent uses an argumentation mechanism to reason from the belief base and obtain the final inferences. We present two ways of merging stratified belief bases: the first is defined by merging two strata without belief preservation, and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  2
    Sequent-type rejection systems for finite-valued non-deterministic logics.Martin Gius & Hans Tompits - 2023 - Journal of Applied Non-Classical Logics 33 (3):606-640.
    A rejection system, also referred to as a complementary calculus, is a proof system axiomatising the invalid formulas of a logic, in contrast to traditional calculi which axiomatise the valid ones. Rejection systems therefore introduce a purely syntactic way of determining non-validity without having to consider countermodels, which can be useful in procedures for automated deduction and proof search. Rejection calculi have first been formally introduced by Łukasiewicz in the context of Aristotelian syllogistic and subsequently rejection systems for many well-known (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  6
    Postulate satisfaction for inconsistency measures in monotonic logics and databases.John Grant - 2023 - Journal of Applied Non-Classical Logics 33 (3):537-560.
    1. Although the idea of measuring inconsistency was proposed in Grant (1978), the subject gained interest in 2002 with the publication of a proposal for measuring inconsistency in propositional kno...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  4
    Admissible generalisation of temporal sequences as chronicles.T. Guyet - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):641-653.
    1. Generalising a given set of examples is essential in many machine learning techniques. In principle, a machine learning algorithm builds an abstract model that represents a set of examples. But...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  7
    Logical connectives for two-state semantics.Marta Cialdea Mayer & Luis Fariñas del Cerro - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):520-536.
    1. A. Heyting (1930) introduced an intermediate logic whose semantics is based on a pair of states (‘here’ and ‘there’). This logic was axiomatized by Hosoi (1966), using the sequence of intermedia...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  5
    When is argumentation deductive?Henry Prakken - 2023 - Journal of Applied Non-Classical Logics 33 (3-4):212-223.
    1. In May 2013 I had an email exchange with Philippe Besnard, continued in September that year, on his paper with Amgoud and Besnard (2013) and its relevance for the ASPIC+ framework (Modgil & Prak...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  5
    Forecasting with jury-based probabilistic argumentation.Francesca Toni, Antonio Rago & Kristijonas Čyras - 2023 - Journal of Applied Non-Classical Logics 33 (3):224-243.
    1. The benefits resulting from a combination of quantitative (e.g. probabilistic) and qualitative (e.g. logic-based) reasoning are widely acknowledged (e.g. see Domingos et al., 2006; Poole, 2011)....
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  9
    Natural deduction calculi for classical and intuitionistic S5.S. Guerrini, A. Masini & M. Zorzi - 2023 - Journal of Applied Non-Classical Logics 33 (2):165-205.
    1. It is a fact that developing a good proof theory for modal logics is a difficult task. The problem is not in having deductive systems. In fact, all the main modal logics enjoy an axiomatic prese...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  6
    Nested sequents for intermediate logics: the case of Gödel-Dummett logics.Tim S. Lyon - 2023 - Journal of Applied Non-Classical Logics 33 (2):121-164.
    We present nested sequent systems for propositional Gödel-Dummett logic and its first-order extensions with non-constant and constant domains, built atop nested calculi for intuitionistic logics. To obtain nested systems for these Gödel-Dummett logics, we introduce a new structural rule, called the linearity rule, which (bottom-up) operates by linearising branching structure in a given nested sequent. In addition, an interesting feature of our calculi is the inclusion of reachability rules, which are special logical rules that operate by propagating data and/or checking (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  10
    Defeasible linear temporal logic.Anasse Chafik, Fahima Cheikh-Alili, Jean-François Condotta & Ivan Varzinczak - 2023 - Journal of Applied Non-Classical Logics 33 (1):1-51.
    After the seminal work of Kraus, Lehmann and Magidor (formally known as the KLM approach) on conditionals and preferential models, many aspects of defeasibility in more complex formalisms have been studied in recent years. Examples of these aspects are the notion of typicality in description logic and defeasible necessity in modal logic. We discuss a new aspect of defeasibility that can be expressed in the case of temporal logic, which is the normality in an execution. In this contribution, we take (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  56
    Fragments of quasi-Nelson: residuation.U. Rivieccio - 2023 - Journal of Applied Non-Classical Logics 33 (1):52-119.
    Quasi-Nelson logic (QNL) was recently introduced as a common generalisation of intuitionistic logic and Nelson's constructive logic with strong negation. Viewed as a substructural logic, QNL is the axiomatic extension of the Full Lambek Calculus with Exchange and Weakening by the Nelson axiom, and its algebraic counterpart is a variety of residuated lattices called quasi-Nelson algebras. Nelson's logic, in turn, may be obtained as the axiomatic extension of QNL by the double negation (or involutivity) axiom, and intuitionistic logic as the (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  35
    Of gaps, gluts, and God's ability to change the past.Jeremiah Joven Joaquin - 2023 - Journal of Applied Non-Classical Logics 32 (4):305-316.
    Can God change the past? The standard Aquinas line answers this question negatively: God cannot change the past since such an act implies a contradiction; thus is not within the purview of God's omnipotence. While the Aquinas line is well-known, there are other, non-standard solutions to this question. In this paper, I look into such answers. In particular, I explore those answers that employ the resources of gappy and glutty logics. I show how these solutions are motivated and how each (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  4
    Provability multilattice logic.Yaroslav Petrukhin - 2023 - Journal of Applied Non-Classical Logics 32 (4):239-272.
    In this paper, we introduce provability multilattice logic PMLn and multilattice arithmetic MPAn which extends first-order multilattice logic with equality by multilattice versions of Peano axioms. We show that PMLn has the provability interpretation with respect to MPAn and prove the arithmetic completeness theorem for it. We formulate PMLn in the form of a nested sequent calculus and show that cut is admissible in it. We introduce the notion of a provability multilattice and develop algebraic semantics for PMLn on its (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  23.  11
    Temporal logic of surjective bounded morphisms between finite linear processes.David Gabelaia, Evgeny Kuznetsov, Radu Casian Mihailescu, Konstantine Razmadze & Levan Uridia - 2023 - Journal of Applied Non-Classical Logics:1-30.
    In this paper, we study temporal logic for finite linear structures and surjective bounded morphisms between them. We give a characterisation of such structures by modal formulas and show that every pair of linear structures with a bounded morphism between them can be uniquely characterised by a temporal formula up to an isomorphism. As the main result, we prove Kripke completeness of the logic with respect to the class of finite linear structures with bounded morphisms between them.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues