| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | David Gabelaia, Evgeny Kuznetsov, Radu-Casian Mihailescu, Konstantine Razmadze, Levan Uridia |
Temporal logic of surjective bounded morphisms between finite linear processes.  |
J. Appl. Non Class. Logics  |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Agudelo Agudelo |
Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation. |
J. Appl. Non Class. Logics |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Cornelis A. Middelburg |
Paraconsistent logic and query answering in inconsistent databases. |
J. Appl. Non Class. Logics |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Zofia Kostrzycka, Marek Zaionc |
Fuzzy logics - quantitatively. |
J. Appl. Non Class. Logics |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken-etsu Fujita, Aleksy Schubert, Pawel Urzyczyn, Konrad Zdanowski |
The existential fragment of second-order propositional intuitionistic logic is undecidable. |
J. Appl. Non Class. Logics |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio A. Celani |
Relational representation for subordination Tarski algebras. |
J. Appl. Non Class. Logics |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Damla Yilmaz |
Symmetric bi-derivations of UP(BCC)-algebras. |
J. Appl. Non Class. Logics |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann |
Metric dynamic equilibrium logic. |
J. Appl. Non Class. Logics |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim S. Lyon |
Nested sequents for intermediate logics: the case of Gödel-Dummett logics. |
J. Appl. Non Class. Logics |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Elise Bonzon, Jérôme Delobelle, Sébastien Konieczny, Nicolas Maudet |
An empirical and axiomatic comparison of ranking-based semantics for abstract argumentation. |
J. Appl. Non Class. Logics |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Florence Dupin de Saint-Cyr, Henri Prade |
Belief revision and incongruity: is it a joke? |
J. Appl. Non Class. Logics |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marta Cialdea Mayer, Luis Fariñas del Cerro |
Logical connectives for two-state semantics. |
J. Appl. Non Class. Logics |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sihem Belabbes, Salem Benferhat |
Selecting accepted assertions in partially ordered inconsistent DL-Lite knowledge bases. |
J. Appl. Non Class. Logics |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Dubois, Lluís Godo, Henri Prade |
An elementary belief function logic. |
J. Appl. Non Class. Logics |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | John Grant |
Postulate satisfaction for inconsistency measures in monotonic logics and databases. |
J. Appl. Non Class. Logics |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gius, Hans Tompits |
Sequent-type rejection systems for finite-valued non-deterministic logics. |
J. Appl. Non Class. Logics |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Guyet |
Admissible generalisation of temporal sequences as chronicles. |
J. Appl. Non Class. Logics |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo A. Falappa, Alejandro Javier García, Guillermo Ricardo Simari |
Merging operators on stratified belief bases equipped with argumentative inference. |
J. Appl. Non Class. Logics |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak |
Defeasible linear temporal logic. |
J. Appl. Non Class. Logics |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry Prakken |
When is argumentation deductive? |
J. Appl. Non Class. Logics |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Guerrini, Andrea Masini, Margherita Zorzi |
Natural deduction calculi for classical and intuitionistic S5. |
J. Appl. Non Class. Logics |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Umberto Rivieccio |
Fragments of quasi-Nelson: residuation. |
J. Appl. Non Class. Logics |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Dvorák, Atefeh Keshavarzi Zafarghandi, Stefan Woltran |
Expressiveness of SETAFs and support-free ADFs under 3-valued semantics. |
J. Appl. Non Class. Logics |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesca Toni, Antonio Rago 0001, Kristijonas Cyras |
Forecasting with jury-based probabilistic argumentation. |
J. Appl. Non Class. Logics |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabelle Bloch, Jérôme Lang, Ramón Pino Pérez, Carlos Uzcátegui |
Morphologic for knowledge dynamics: revision, fusion and abduction. |
J. Appl. Non Class. Logics |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvie Doutre, Andreas Herzig, Anthony Hunter |
Logic, arguments and inconsistencies: an introduction to the festschrift in honour of Philippe Besnard. |
J. Appl. Non Class. Logics |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvie Doutre, Marie-Christine Lagasquie-Schiex |
RAFDivider : a distributed algorithm for computing semantics in higher-order abstract argumentation frameworks. |
J. Appl. Non Class. Logics |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitar P. Guelev, Ben C. Moszkowski |
A separation theorem for discrete-time interval temporal logic. |
J. Appl. Non Class. Logics |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremiah Joven Joaquin |
Infectious and transparent emotivism. |
J. Appl. Non Class. Logics |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yaroslav I. Petrukhin |
Provability multilattice logic. |
J. Appl. Non Class. Logics |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Leturc, Grégory Bonnet |
Reasoning about manipulation in multi-agent systems. |
J. Appl. Non Class. Logics |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Célestin Lélé, Jean B. Nganou, Jean M. Wagoum |
Two notions of MV-algebraic semisimplicity relative to fixed MV-chains. |
J. Appl. Non Class. Logics |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio A. Celani, Ramon Jansana |
A variety of algebras closely related to subordination algebras. |
J. Appl. Non Class. Logics |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremiah Joven Joaquin |
Of gaps, gluts, and God's ability to change the past. |
J. Appl. Non Class. Logics |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Estrada, Yuri A. Poveda |
A set-theoretic proof of the representation of MV-algebras by sheaves. |
J. Appl. Non Class. Logics |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Miroiu, Mircea Dumitru |
Representing voting rules in Łukasiewicz's three-valued logic. |
J. Appl. Non Class. Logics |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Zeinab Aghahadi, Alireza Talebpour |
Avicenna: a challenge dataset for natural language generation toward commonsense syllogistic reasoning. |
J. Appl. Non Class. Logics |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Vangelis Triantafyllou |
Vagueness as an epiphenomenon, and non-transitivity. |
J. Appl. Non Class. Logics |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Purbita Jana, Mihir K. Chakraborty |
A categorical approach to graded fuzzy topological system and fuzzy geometric logic with graded consequence. |
J. Appl. Non Class. Logics |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Kido 0001, Beishui Liao |
A Bayesian approach to forward and inverse abstract argumentation problems. |
J. Appl. Non Class. Logics |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Liu Yang, Antoine Rauzy |
Epistemic space of degradation processes. |
J. Appl. Non Class. Logics |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Asadollah Fallahi |
Two pretabular linear extensions of relevance logic R. |
J. Appl. Non Class. Logics |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Aggeliki Chalki, Costas D. Koutras, Yorgos Zikos |
A note on the complexity of S4.2. |
J. Appl. Non Class. Logics |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesca Poggiolesi |
Grounding rules for (relevant) implication. |
J. Appl. Non Class. Logics |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Osorio 0001, Aldo Figallo Orellano, Miguel Pérez-Gaspar |
A family of genuine and non-algebraisable C-systems. |
J. Appl. Non Class. Logics |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan A. Bergstra, Alban Ponse, Daan J. C. Staudt |
Non-commutative propositional logic with short-circuit evaluation. |
J. Appl. Non Class. Logics |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | John Grant |
Measuring inconsistency in some branching time logics. |
J. Appl. Non Class. Logics |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Areces, Hans van Ditmarsch, Raul Fervari, Bastien Maubert, François Schwarzentruber |
Copy and remove as dynamic operators. |
J. Appl. Non Class. Logics |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Milos Kosterec |
Substitution inconsistencies in Transparent Intensional Logic. |
J. Appl. Non Class. Logics |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Gemma Robles, José M. Méndez |
Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation. |
J. Appl. Non Class. Logics |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco A. Genco |
Formal explanations as logical derivations. |
J. Appl. Non Class. Logics |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Maria Karczewska |
On the modal interpretation of the connective of realisation. |
J. Appl. Non Class. Logics |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmet Çevik, Selçuk Topal |
Most-intersection of countable sets. |
J. Appl. Non Class. Logics |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcin Lyczak |
The logic of modal changes LMC. |
J. Appl. Non Class. Logics |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Correction. |
J. Appl. Non Class. Logics |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarek Sayed Ahmed |
Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic. |
J. Appl. Non Class. Logics |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Michele Pra Baldi |
Logics of variable inclusion and the lattice of consequence relations. |
J. Appl. Non Class. Logics |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Chrysafis Hartonas |
Modal translation of substructural logics. |
J. Appl. Non Class. Logics |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Régis Riveret |
On searching explanatory argumentation graphs. |
J. Appl. Non Class. Logics |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Gemma Robles |
A basic quasi-Boolean logic of intuitionistic character. |
J. Appl. Non Class. Logics |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Primiero |
A logic of negative trust. |
J. Appl. Non Class. Logics |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Belikov 0001, Yaroslav I. Petrukhin |
Exactly true and non-falsity logics meeting infectious ones. |
J. Appl. Non Class. Logics |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Athanassios Tzouvaras |
Algebraic semantics for propositional superposition logic. |
J. Appl. Non Class. Logics |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yaroslav I. Petrukhin |
Axiomatization of non-associative generalisations of Hájek's BL and psBL. |
J. Appl. Non Class. Logics |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ariel Jonathan Roffé |
Reconstructor: a computer program that uses three-valued logics to represent lack of information in empirical scientific contexts. |
J. Appl. Non Class. Logics |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Da Ré, Federico Matias Pailos, Damián Enrique Szmuc, Paula Teijeiro |
Metainferential duality. |
J. Appl. Non Class. Logics |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Fjellstad |
Structural proof theory for first-order weak Kleene logics. |
J. Appl. Non Class. Logics |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yaroslav I. Petrukhin, Vasily Shangin |
On Vidal's trivalent explanations for defective conditional in mathematics. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Carlos Agudelo Agudelo, Santiago Echeverri-Valencia |
Polynomial semantics for modal logics. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Clayton Peterson |
Monoidal logics: completeness and classical systems. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Estrada, Yuri A. Poveda |
MVW-rigs and product MV-algebras. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Aiguier, Isabelle Bloch |
Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jared Millson, Christian Straßer |
A logic for best explanations. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Chrysafis Hartonas |
Lattice logic as a fragment of (2-sorted) residuated modal logic. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio A. Celani |
Subordination Tarski algebras. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Gemma Robles, Francisco Salto, José M. Méndez |
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Matias Pailos |
A family of metainferential logics. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Grigoriev 0001, Yaroslav I. Petrukhin |
Two proofs of the algebraic completeness theorem for multilattice logic. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Correction. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Lourdes Del Carmen González-Huesca, Favio Ezequiel Miranda-Perea, P. Selene Linares-Arévalo |
Axiomatic and dual systems for constructive necessity, a formally verified equivalence. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Trybus |
n-valued maximal paraconsistent matrices. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiraporn Pooksook, Phan Minh Dung, Ken Satoh, Giovanni Sartor |
Modelling last-act attempted crime in criminal law. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Caroprese, Ester Zumpano |
Indefinite abductive explanations. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Ciuni, Massimiliano Carrara |
Semantical analysis of weak Kleene logics. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Zamansky |
On recent applications of paraconsistent logic: an exploratory literature review. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Gemma Robles, José M. Méndez |
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiaki Sakama |
Abduction in argumentation frameworks. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Katarina Britz, Ivan José Varzinczak |
From KLM-style conditionals to defeasible modalities, and back. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Libor Behounek, Ondrej Majer |
Fuzzy intensional semantics. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Beishui Liao, Yì N. Wáng |
Logic and argumentation. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Bellucci, Daniele Chiffi, Ahti-Veikko Pietarinen |
Assertive graphs. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Skurt |
Bi-intuitionistic implication structures. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alban Ponse, Daan J. C. Staudt |
An independent axiomatisation for free short-circuit logic. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Slawomir Kost |
Frames for fusions of modal logics. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Baratella |
Continuous propositional modal logic. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Badran Raddaoui |
On the measure of conflicts: an argumentation-based framework. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Tatyana Ivanova |
Logics for extended distributive contact lattices. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduardo Alejandro Barrio, Bruno Da Ré |
Truth without standard models: some conceptual problems reloaded. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuming Xu, Claudette Cayrol |
Initial sets in abstract argumentation frameworks. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriella Pigozzi, Leon van der Torre |
Arguing about constitutive and regulative norms. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license