The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Journal of Applied Non-Classical Logics"( http://dblp.L3S.de/Venues/Journal_of_Applied_Non-Classical_Logics )

URL (DBLP): http://dblp.uni-trier.de/db/journals/jancl

Publication years (Num. hits)
1992-1993 (18) 1994-1995 (22) 1996 (17) 1997-1998 (29) 1999 (25) 2000 (16) 2001 (18) 2002 (23) 2003 (16) 2004-2005 (34) 2006 (19) 2007 (22) 2008 (16) 2009 (17) 2010 (18) 2011 (21) 2012 (19) 2013 (18) 2014 (19) 2015 (16) 2016 (15) 2017 (22) 2018 (18) 2019 (14)
Publication types (Num. hits)
article(472)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

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