Search results for "class"

Hits ?▲	Authors	Title	Venue	Year	Link
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