Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | 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 |
|
16 | Bruno Da Ré, Federico Matias Pailos, Damián Enrique Szmuc, Paula Teijeiro |
Metainferential duality. |
J. Appl. Non Class. Logics |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Fjellstad |
Structural proof theory for first-order weak Kleene logics. |
J. Appl. Non Class. Logics |
2020 |
DBLP DOI BibTeX RDF |
|
16 | 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 |
|
16 | Juan Carlos Agudelo Agudelo, Santiago Echeverri-Valencia |
Polynomial semantics for modal logics. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Clayton Peterson |
Monoidal logics: completeness and classical systems. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Alejandro Estrada, Yuri A. Poveda |
MVW-rigs and product MV-algebras. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
16 | 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 |
|
16 | Jared Millson, Christian Straßer |
A logic for best explanations. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Chrysafis Hartonas |
Lattice logic as a fragment of (2-sorted) residuated modal logic. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Sergio A. Celani |
Subordination Tarski algebras. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
16 | 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 |
|
16 | Federico Matias Pailos |
A family of metainferential logics. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
16 | 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 |
|
16 | |
Correction. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
16 | 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 |
|
16 | Adam Trybus |
n-valued maximal paraconsistent matrices. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
16 | 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 |
|
16 | Luciano Caroprese, Ester Zumpano |
Indefinite abductive explanations. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Roberto Ciuni, Massimiliano Carrara |
Semantical analysis of weak Kleene logics. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Anna Zamansky |
On recent applications of paraconsistent logic: an exploratory literature review. |
J. Appl. Non Class. Logics |
2019 |
DBLP DOI BibTeX RDF |
|
16 | 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 |
|
16 | Chiaki Sakama |
Abduction in argumentation frameworks. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Katarina Britz, Ivan José Varzinczak |
From KLM-style conditionals to defeasible modalities, and back. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Libor Behounek, Ondrej Majer |
Fuzzy intensional semantics. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Thomas Ågotnes, Beishui Liao, Yì N. Wáng |
Logic and argumentation. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Francesco Bellucci, Daniele Chiffi, Ahti-Veikko Pietarinen |
Assertive graphs. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Daniel Skurt |
Bi-intuitionistic implication structures. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Alban Ponse, Daan J. C. Staudt |
An independent axiomatisation for free short-circuit logic. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Slawomir Kost |
Frames for fusions of modal logics. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Stefano Baratella |
Continuous propositional modal logic. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Badran Raddaoui |
On the measure of conflicts: an argumentation-based framework. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Tatyana Ivanova |
Logics for extended distributive contact lattices. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Eduardo Alejandro Barrio, Bruno Da Ré |
Truth without standard models: some conceptual problems reloaded. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Yuming Xu, Claudette Cayrol |
Initial sets in abstract argumentation frameworks. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Gabriella Pigozzi, Leon van der Torre |
Arguing about constitutive and regulative norms. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
16 | M. Zhao |
A game-theoretic analysis on the use of indirect speech acts. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Daniil Kozhemiachenko |
Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Daniel Rönnedal |
Doxastic logic: a new approach. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada |
Beliefs supported by binary arguments. |
J. Appl. Non Class. Logics |
2018 |
DBLP DOI BibTeX RDF |
|
16 | Mohua Banerjee, Didier Dubois, Lluís Godo, Henri Prade |
On the relation between possibilistic logic and modal logics of belief and knowledge. |
J. Appl. Non Class. Logics |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Herzig |
Dynamic epistemic logics: promises, problems, shortcomings, and perspectives. |
J. Appl. Non Class. Logics |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Pedro Cabalar, Martín Diéguez, Andreas Herzig, David Pearce 0001 |
A short biography of Luis Fariñas del Cerro. |
J. Appl. Non Class. Logics |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Daniele Porello |
Judgement aggregation in non-classical logics. |
J. Appl. Non Class. Logics |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Leila Amgoud, Philippe Besnard, Anthony Hunter |
Foundations for a logic of arguments. |
J. Appl. Non Class. Logics |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Antonio Frias Delgado |
A note on Barcan formula. |
J. Appl. Non Class. Logics |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Ivo Düntsch, Ewa Orlowska, Tinko Tinchev |
Mixed algebras and their logics. |
J. Appl. Non Class. Logics |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Mateusz M. Radzki |
On the Rosser-Turquette method of constructing axiom systems for finitely many-valued propositional logics of Łukasiewicz. |
J. Appl. Non Class. Logics |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Serenella Cerrito, Marta Cialdea Mayer, Robert Demolombe |
Temporal abductive reasoning about biochemical reactions. |
J. Appl. Non Class. Logics |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Omar Alaqeeli, William Wadge |
The monadic hybrid calculus. |
J. Appl. Non Class. Logics |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez 0001, Concepción Vidal |
Temporal Equilibrium Logic with past operators. |
J. Appl. Non Class. Logics |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Robert Demolombe |
Trust and agency in the context of communication. |
J. Appl. Non Class. Logics |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Dimiter Vakarelov |
A mereotopology based on sequent algebras. |
J. Appl. Non Class. Logics |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Shota Motoura |
A general framework for dynamic epistemic logic: towards canonical correspondences. |
J. Appl. Non Class. Logics |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Herzig, Emiliano Lorini, David Pearce 0001 |
Preface. |
J. Appl. Non Class. Logics |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Philippe Balbiani, Çigdem Gencer |
Unification in epistemic logics. |
J. Appl. Non Class. Logics |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego |
A multimodal logic for closeness. |
J. Appl. Non Class. Logics |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Robert Demolombe |
Reasoning about trust and aboutness in the context of communication. |
J. Appl. Non Class. Logics |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Pedro Cabalar, David Pearce 0001, Agustín Valverde |
Stable reasoning. |
J. Appl. Non Class. Logics |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Philippe Balbiani, Çigdem Gencer |
KD is nullary. |
J. Appl. Non Class. Logics |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Walter Carnielli, Mamede Lima-Marques |
Society semantics and the logic way to collective intelligence. |
J. Appl. Non Class. Logics |
2017 |
DBLP DOI BibTeX RDF |
|
16 | Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton Marques Peron |
Errata and Addenda to 'Finite non-deterministic semantics for some modal systems'. |
J. Appl. Non Class. Logics |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Jorge A. Morales, Mauricio Molina-Delgado |
The discovery/justification context dichotomy within formal and computational models of scientific theories: a weakening of the distinction based on the perspective of non-monotonic logics. |
J. Appl. Non Class. Logics |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Christel Grimaud |
Modelling reasoning processes in natural agents: a partial-worlds-based logical framework for elemental non-monotonic inferences and learning. |
J. Appl. Non Class. Logics |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Dimitris Askounis, Costas D. Koutras, Yorgos Zikos |
Knowledge means 'all', belief means 'most'. |
J. Appl. Non Class. Logics |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Hans van Ditmarsch, Jie Fan 0001 |
Propositional quantification in logics of contingency. |
J. Appl. Non Class. Logics |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Edelcio G. de Souza, Alexandre Costa-Leite, Diogo H. B. Dias |
On a paraconsistentization functor in the category of consequence structures. |
J. Appl. Non Class. Logics |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Chrysafis Hartonas |
First-order frames for orthomodular quantum logic. |
J. Appl. Non Class. Logics |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Can Baskent |
Game theoretical semantics for some non-classical logics. |
J. Appl. Non Class. Logics |
2016 |
DBLP DOI BibTeX RDF |
|
16 | David P. Ellerman |
Four ways from universal to particular: how Chomsky's principles-and-parameters model is not selectionist. |
J. Appl. Non Class. Logics |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Clayton Peterson |
A comparison between monoidal and substructural logics. |
J. Appl. Non Class. Logics |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Juan Carlos Agudelo Agudelo, Carlos A. Agudelo-González, Oscar E. García-Quintero |
On polynomial semantics for propositional logics. |
J. Appl. Non Class. Logics |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Benjamin Schnieder |
In defence of a logic for 'because'. |
J. Appl. Non Class. Logics |
2016 |
DBLP DOI BibTeX RDF |
|
16 | José M. Méndez, Gemma Robles |
The logic determined by Smiley's matrix for Anderson and Belnap's first-degree entailment logic. |
J. Appl. Non Class. Logics |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Daniel Borchmann, Felix Distel, Francesco Kriegel |
Axiomatisation of general concept inclusions from finite interpretations. |
J. Appl. Non Class. Logics |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Damián Enrique Szmuc |
Defining LFIs and LFUs in extensions of infectious logics. |
J. Appl. Non Class. Logics |
2016 |
DBLP DOI BibTeX RDF |
|
16 | Igor Sedlár |
Substructural epistemic logics. |
J. Appl. Non Class. Logics |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Jan A. Bergstra, Inge Bethke |
Note on paraconsistency and reasoning about fractions. |
J. Appl. Non Class. Logics |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Tarek Sayed Ahmed |
Varying interpolation and amalgamation in polyadic MV-algebras. |
J. Appl. Non Class. Logics |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Savas L. Tsohatzidis |
A problem for a logic of 'because'. |
J. Appl. Non Class. Logics |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Philippe Balbiani |
Putting right the wording and the proof of the Truth Lemma for APAL. |
J. Appl. Non Class. Logics |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Greg Yang |
Computability of validity and satisfiability in probability logics over finite and countable models. |
J. Appl. Non Class. Logics |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Alessandro Giordani |
A new framework for justification logic. |
J. Appl. Non Class. Logics |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton Marques Peron |
Finite non-deterministic semantics for some modal systems. |
J. Appl. Non Class. Logics |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Hans van Ditmarsch, Petar Iliev |
The succinctness of the cover modality. |
J. Appl. Non Class. Logics |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Stéphane Demri, Morgan Deters |
Separation logics and modalities: a survey. |
J. Appl. Non Class. Logics |
2015 |
DBLP DOI BibTeX RDF |
|
16 | John Christopher McCabe-Dansted, Tim French 0002, Sophie Pinchinat, Mark Reynolds 0001 |
Expressiveness and succinctness of a logic of robustness. |
J. Appl. Non Class. Logics |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Andrew Schumann |
p-Adic valued logical calculi in simulations of the slime mould behaviour. |
J. Appl. Non Class. Logics |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Prem Kumar Singh, Abdullah Gani |
Fuzzy concept lattice reduction using Shannon entropy and Huffman coding. |
J. Appl. Non Class. Logics |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Daniele Porello, Nicolas Troquard |
Non-normal modalities in variants of linear logic. |
J. Appl. Non Class. Logics |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Pawel Garbacz |
Conceptual frames revisited. |
J. Appl. Non Class. Logics |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Herzig |
Letter from the Editor. |
J. Appl. Non Class. Logics |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Janardan Misra, Suman Roy 0001 |
A decidable timeout-based extension of linear temporal logic. |
J. Appl. Non Class. Logics |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Tin Perkov |
A 4-valued framework encompassing intuitionistic and classical logic. |
J. Appl. Non Class. Logics |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Pablo Cobreros, Paul Égré, David Ripley, Robert van Rooij |
Foreword: Three-valued logics and their applications. |
J. Appl. Non Class. Logics |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Katrin Schulz |
Minimal models vs. logic programming: the case of counterfactual conditionals. |
J. Appl. Non Class. Logics |
2014 |
DBLP DOI BibTeX RDF |
|
16 | José Martínez-Fernández |
Remarks on the Gupta-Belnap fixed-point property for k-valued clones. |
J. Appl. Non Class. Logics |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Mathieu Vidal |
The defective conditional in mathematics. |
J. Appl. Non Class. Logics |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Daniel Rothschild |
Capturing the relationship between conditionals and conditional probability with a trivalent semantics. |
J. Appl. Non Class. Logics |
2014 |
DBLP DOI BibTeX RDF |
|
16 | Benjamin R. George |
Some remarks on certain trivalent accounts of presupposition projection. |
J. Appl. Non Class. Logics |
2014 |
DBLP DOI BibTeX RDF |
|