The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Belnap with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1959-1982 (16) 1986-1997 (16) 1998-2005 (18) 2006-2007 (15) 2008-2010 (16) 2011-2016 (17) 2017-2020 (19) 2021-2023 (23) 2024 (2)
Publication types (Num. hits)
article(95) incollection(3) inproceedings(43) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 46 occurrences of 38 keywords

Results
Found 148 publication records. Showing 142 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
71Glenn Bruns, Michael Huth 0001 Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis. Search on Bibsonomy CSF The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Belnap logic, access control, policy languages, policy analysis
65Dmitry Zaitsev 0002 A Few More Useful 8-valued Logics for Reasoning with Tetralattice EIGHT4. Search on Bibsonomy Stud Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Generalized truth values, Dunn-Belnap logic, Shramko-Wansing logic, trilattice, tetralattice, first-degree entailment, bilattice
65Yaroslav Shramko, Heinrich Wansing Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Hyper-contradiction, multilattice, Belnap-trilattice, first-degree entailment
53Chris Hankin, Flemming Nielson, Hanne Riis Nielson Advice from Belnap Policies. Search on Bibsonomy CSF The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Belnap Logic, Verification, Access Control, Aspect-oriented Programming
46William Jaworski The logic of how-questions. Search on Bibsonomy Synth. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Goldman, Bennett, Kim, Van Fraassen, Belnap, Steel, Why, How, Erotetic logic, Logic, Event, Method, Determinable, Determinate, Explanation, Mechanism, Means, Functional analysis, Questions, Possibility, Manner
43Sylvia B. Encheva, Sharil Tumin Belnap's Logic in Sharing Protected Web Resources. Search on Bibsonomy KES (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF positive and negative authorization, Collaboration
43Stefan Wölfl 0001 Qualitative Action Theory: A Comparison of the Semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap Approach to Agency. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36Jan Maluszynski, Andrzej Szalas, Aida Vitória A Four-Valued Logic for Rough Set-Like Approximate Reasoning. Search on Bibsonomy Trans. Rough Sets The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Arie Gurfinkel, Marsha Chechik Why Waste a Perfectly Good Abstraction?. Search on Bibsonomy TACAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Fabrice Correia Semantics for Analytic Containment. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF analytic containment, relevant implication, semantics
33Mehdi Ganjkhani, Luis Rodriguez-Garcia, Majid Majidi, Hollis Belnap, Mohammad Mehdi Hosseini, Mohammed Masum Siraj Khan, Jairo Giraldo, Masood Parvania Intelligent Hierarchical Resilient Operation of Distribution Systems: Implementation and Validation in a Power Hardware-in-the-Loop Simulation Testbed. Search on Bibsonomy ISGT The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
33Beatrice Amos, Cristina Aurrecoechea, Matthieu Barba, Ana Barreto, Evelina Y. Basenko, Wojciech Bazant, Robert Belnap, Ann S. Blevins, Ulrike Böhme, John Brestelli, Brian P. Brunk, Mark J. Caddick, Danielle Callan, Lahcen I. Campbell, Mikkel B. Christensen, George K. Christophides, Kathryn Crouch, Kristina Davis, Jeremy D. DeBarry, Ryan Doherty, Yikun Duan, Michael Dunn, Dave Falke, Steve Fisher, Paul Flicek, Brett Fox, Bindu Gajria, Gloria I. Giraldo-Calderón, Omar S. Harb, Elizabeth Harper, Christiane Hertz-Fowler, Mark J. Hickman, Connor Howington, Sufen Hu, Jay C. Humphrey, John Iodice, Andrew R. Jones, John Judkins, Sarah A. Kelly, Jessica C. Kissinger, Dae Kun Kwon, Kristopher Lamoureux, Daniel Lawson, Wei Li 0031, Kallie Lies, Disha Lodha, Jamie Long, Robert M. MacCallum, Gareth Maslen, Mary Ann McDowell, Jaroslaw Nabrzyski, David S. Roos, Samuel S. C. Rund, Stephanie wever Schulman, Achchuthan Shanmugasundram, Vasily Sitnik, Drew Spruill, David Starns, Christian J. Stoeckert Jr., Sheena Shah Tomko, Haiming Wang, Susanne Warrenfeltz, Robert Wieck, Paul A. Wilkinson, Lin Xu, Jie Zheng 0001 VEuPathDB: the eukaryotic pathogen, vector and host bioinformatics resource center. Search on Bibsonomy Nucleic Acids Res. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
33Quynh C. Nguyen, Thomas W. Belnap, Pallavi Dwivedi, Amir Hossein Nazem Deligani, Abhinav Kumar 0004, Dapeng Li 0002, Ross T. Whitaker, Jessica Keralis, Heran Mane, Xiaohe Yue, Thu T. Nguyen, Tolga Tasdizen, Kim D. Brunisholz Google Street View Images as Predictors of Patient Health Outcomes, 2017-2019. Search on Bibsonomy Big Data Cogn. Comput. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
33Martin Breidenbach, Florim Hamiti, Aynur Guluzade, Naguib Heiba, Yehya Mohamad, Carlos A. Velasco, Birgit Herbeck Belnap, Dagmar Lühmann Development of a flexible and interoperable architecture to customize clinical solutions targeting the care of multimorbid patients. Search on Bibsonomy DSAI The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
33Nuel Belnap, Thomas Müller 0007, Tomasz Placek New Foundations for Branching Space-Times. Search on Bibsonomy Stud Logica The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
33Andrew J. Knighton, Pallavi Ranade-Kharkar, Kimberly D. Brunisholz, Douglas Wolfe, Lauren Allen, Thomas W. Belnap, Tamara Moores Todd, Rajendu Srivastava, Seraphine Kapsandoy, Diego Ize-Ludlow, Todd L. Allen Rapid Implementation of a Complex, Multimodal Technology Response to COVID-19 at an Integrated Community-Based Health Care System. Search on Bibsonomy Appl. Clin. Inform. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
33Jörg Votteler, Cassandra Ogohara, Sue Yi, Yang Hsia, Una Nattermann, David M. Belnap, Neil P. King, Wesley I. Sundquist Designed proteins induce the formation of nanocage-containing extracellular vesicles. Search on Bibsonomy Nat. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
33Nuel Belnap, Thomas Müller 0007 CIFOL: Case-Intensional First Order Logic. Search on Bibsonomy J. Philos. Log. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
33Nuel Belnap, Thomas Müller 0007 BH-CIFOL: Case-Intensional First Order Logic. Search on Bibsonomy J. Philos. Log. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
33Nuel Belnap Newtonian determinism to branching space-times indeterminism in two moves. Search on Bibsonomy Synth. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
33Tomasz Placek, Nuel Belnap Indeterminism is a modal notion: branching spacetimes and Earman's pruning. Search on Bibsonomy Synth. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
33Nuel Belnap Prolegomenon to norms in branching space-times. Search on Bibsonomy J. Appl. Log. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
33Heinrich Wansing, Nuel Belnap Generalized truth values.: A reply to Dubois. Search on Bibsonomy Log. J. IGPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
33Nuel Belnap Truth Values, Neither-true-nor-false, and Supervaluations. Search on Bibsonomy Stud Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF neither-true-nor-false, non-denoting terms, future tense, vagueness, paradoxes, truth values
33Thomas Müller 0007, Nuel Belnap, Kohei Kishida Funny business in branching space-times: infinite modal correlations. Search on Bibsonomy Synth. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Nuel Belnap Norms in Branching Space-Times. Search on Bibsonomy DEON The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33Matthew Weiner, Nuel Belnap How Causal Probabilities Might Fit into Our Objectively Indeterministic World. Search on Bibsonomy Synth. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
33Nuel Belnap Under Carnap's Lamp: Flat Pre-semantics. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF emantics, pre-semantics, Carnap, operations, meanings, truth
33Nuel Belnap Agents and Agency in Branching Space-Times. Search on Bibsonomy Logic, Thought and Action The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Nuel D. Belnap Jr. Double Time References: Speech-act Reports as Modalities in an Indeterminist Setting. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
33John F. Horty, Nuel Belnap The deliberative stit: A study of action, omission, ability, and obligation. Search on Bibsonomy J. Philos. Log. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
33Robert K. Meyer, Michael A. McRobbie, Nuel Belnap Linear Analytic Tableaux. Search on Bibsonomy TABLEAUX The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
33Nuel Belnap, Michael Perloff In the Realm of Agents. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
33Nuel Belnap, Michael Perloff The Way of the Agent. Search on Bibsonomy Stud Logica The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
33Nuel Belnap Linear Logic Displayed. Search on Bibsonomy Notre Dame J. Formal Log. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
33Nuel Belnap, Gerald J. Massey Semantic holism. Search on Bibsonomy Stud Logica The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
33Nuel D. Belnap Jr. Gupta's rule of revision theory of truth. Search on Bibsonomy J. Philos. Log. The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
33Nuel D. Belnap Jr. Display logic. Search on Bibsonomy J. Philos. Log. The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
33Nuel D. Belnap Jr., Anil Gupta, J. Michael Dunn A consecutive calculus for positive relevant implication with necessity. Search on Bibsonomy J. Philos. Log. The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
33Nuel D. Belnap Jr. S-P interrogatives. Search on Bibsonomy J. Philos. Log. The full citation details ... 1972 DBLP  DOI  BibTeX  RDF
33Nuel Belnap, Storrs McCall Every functionally complete m-valued logic has a Post-complete axiomatization. Search on Bibsonomy Notre Dame J. Formal Log. The full citation details ... 1970 DBLP  DOI  BibTeX  RDF
33Nuel D. Belnap Jr. Intensional Models for First Degree Formulas. Search on Bibsonomy J. Symb. Log. The full citation details ... 1967 DBLP  DOI  BibTeX  RDF
33Nuel D. Belnap Jr., Richmond H. Thomason A rule-completeness theorem. Search on Bibsonomy Notre Dame J. Formal Log. The full citation details ... 1963 DBLP  DOI  BibTeX  RDF
33Nuel D. Belnap Jr., Hugues Leblanc, Richmond H. Thomason On not strengthening intuitionistic logic. Search on Bibsonomy Notre Dame J. Formal Log. The full citation details ... 1963 DBLP  DOI  BibTeX  RDF
33Alan Ross Anderson, Nuel Belnap The Pure Calculus of Entailment. Search on Bibsonomy J. Symb. Log. The full citation details ... 1962 DBLP  DOI  BibTeX  RDF
33Nuel D. Belnap Jr., Hugues Leblanc Intuitionism reconsidered. Search on Bibsonomy Notre Dame J. Formal Log. The full citation details ... 1962 DBLP  DOI  BibTeX  RDF
33Nuel Belnap Twenty-Sixth Annual Meeting of the Association for Symbolic Logic. Search on Bibsonomy J. Symb. Log. The full citation details ... 1960 DBLP  DOI  BibTeX  RDF
33Nuel Belnap Entailment and Relevance. Search on Bibsonomy J. Symb. Log. The full citation details ... 1960 DBLP  DOI  BibTeX  RDF
33Alan Ross Anderson, Nuel Belnap A Simple Treatment of Truth Functions. Search on Bibsonomy J. Symb. Log. The full citation details ... 1959 DBLP  DOI  BibTeX  RDF
33Alan Ross Anderson, Nuel Belnap Modalities in Ackermann's "Rigorous Implication". Search on Bibsonomy J. Symb. Log. The full citation details ... 1959 DBLP  DOI  BibTeX  RDF
24Cornelis A. Middelburg The interdefinability of expansions of Belnap-Dunn logic. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
24Gemma Robles, José M. Méndez A Class of Implicative Expansions of Belnap-Dunn Logic in which Boolean Negation is Definable. Search on Bibsonomy J. Philos. Log. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Cornelis A. Middelburg Belnap-Dunn logic and query answering in inconsistent databases with null values. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Cornelis A. Middelburg A Conventional Expansion of First-Order Belnap-Dunn Logic. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Cornelis A. Middelburg Belnap-Dunn Logic and Query Answering in Inconsistent Databases with Null Values. Search on Bibsonomy Sci. Ann. Comput. Sci. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Adam Prenosil The Lattice of Super-Belnap Logics. Search on Bibsonomy Rev. Symb. Log. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Krishna Manoorkar Décrire et quantifier la contradiction entre des éléments de preuve via la logique de Belnap-Dunn et la théorie de Dempster-Shafer. Search on Bibsonomy JIAF The full citation details ... 2023 DBLP  BibTeX  RDF
24Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Krishna Manoorkar Describing and quantifying contradiction between pieces of evidence via Belnap Dunn logic and Dempster-Shafer theory. Search on Bibsonomy ISIPTA The full citation details ... 2023 DBLP  BibTeX  RDF
24Salvatore Greco, Roman Slowinski Pawlak, Belnap and the Magical Number Seven. Search on Bibsonomy IJCRS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Victor Timchenko, Yury P. Kondratenko, Vladik Kreinovich Interval-Valued and Set-Valued Extensions of Discrete Fuzzy Logics, Belnap Logic, and Color Optical Computing. Search on Bibsonomy EUSFLAT/AGOP The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Carolina Blasio Revisiting the Dunn-Belnap logic. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Sabine Frittella, Ondrej Majer, Sajad Nazari Updating belief functions over Belnap-Dunn logic. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Sajad Nazari Fonctions de croyances interprétées sur la logique de Belnap-Dunn. Search on Bibsonomy JIAF The full citation details ... 2022 DBLP  BibTeX  RDF
24Sabine Frittella, Ondrej Majer, Sajad Nazari Toward Updating Belief Functions over Belnap-Dunn Logic. Search on Bibsonomy BELIEF The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Sabine Frittella, Ondrej Majer, Sajad Nazari Mise à jour des fonctions de croyances sur la logique de Belnap-Dunn. Search on Bibsonomy LFA The full citation details ... 2022 DBLP  BibTeX  RDF
24Abilio Rodrigues, Juliana Bueno-Soler, Walter Carnielli Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic. Search on Bibsonomy Synth. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Gemma Robles The Class of all 3-valued Implicative Expansions of Kleene?s Strong Logic Containing Anderson and Belnap's First Degree Entailment Logic. Search on Bibsonomy FLAP The full citation details ... 2021 DBLP  BibTeX  RDF
24Yuanlei Lin, Minghui Ma Belnap-Dunn Modal Logic with Value Operators. Search on Bibsonomy Stud Logica The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Norihiro Kamide Modal and Intuitionistic Variants of Extended Belnap-Dunn Logic with Classical Negation. Search on Bibsonomy J. Log. Lang. Inf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Gemma Robles A Variant with the Variable-Sharing Property of Brady's 4-Valued Implicative Expansion BN4 of Anderson and Belnap's Logic FDE. Search on Bibsonomy CLAR The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24José Miguel Blanco 0002 An Implicative Expansion of Belnap's Four-Valued Matrix: A Modal Four-Valued Logic Without Strong Modal Lukasiewicz-Type Paradoxes. Search on Bibsonomy Bull. Symb. Log. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Minghui Ma, Yuanlei Lin Countably Many Weakenings of Belnap-Dunn Logic. Search on Bibsonomy Stud Logica The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Arnon Avron The Normal and Self-extensional Extension of Dunn-Belnap Logic. Search on Bibsonomy Logica Universalis The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Sergei P. Odintsov, Stanislav O. Speranski Belnap-Dunn Modal Logics: Truth constants vs. Truth Values. Search on Bibsonomy Rev. Symb. Log. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Richard L. Kramer, Roger D. Maddux Relation algebras of Sugihara, Belnap, Meyer, and Church. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Yaroslav Shramko Dual-Belnap Logic and Anything but Falsehood. Search on Bibsonomy FLAP The full citation details ... 2019 DBLP  BibTeX  RDF
24Davide Ciucci, Didier Dubois A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information. Search on Bibsonomy Int. J. Approx. Reason. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Minghui Ma, Yuanlei Lin A Deterministic Weakening of Belnap-Dunn Logic. Search on Bibsonomy Stud Logica The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Norihiro Kamide Gentzen-Type Sequent Calculi for Extended Belnap-Dunn Logics with Classical Negation: A General Framework. Search on Bibsonomy Logica Universalis The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Gemma 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 J. Appl. Non Class. Logics The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Gemma 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 J. Appl. Non Class. Logics The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Hiroyuki Sato, Sridhar Nikita An Interactive and Continuous Authorization Scheme by using Belnap Logic. Search on Bibsonomy COMPSAC (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Norihiro Kamide An Extended Paradefinte Belnap-Dunn Logic that is Embeddable into Classical Logic and Vice Versa. Search on Bibsonomy ICAART (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
24Geoff Sutcliffe, Francis Jeffry Pelletier, Allen Hazen Making Belnap's "Useful 4-Valued Logic" Useful. Search on Bibsonomy FLAIRS The full citation details ... 2018 DBLP  BibTeX  RDF
24Hugo Albuquerque, Adam Prenosil, Umberto Rivieccio An Algebraic View of Super-Belnap Logics. Search on Bibsonomy Stud Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Thomas Macaulay Ferguson Rivals to Belnap-Dunn Logic on Interlaced Trilattices. Search on Bibsonomy Stud Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Adam Prenosil Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics. Search on Bibsonomy Stud Logica The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Norihiro Kamide, Hitoshi Omori An Extended First-Order Belnap-Dunn Logic with Classical Negation. Search on Bibsonomy LORI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24José M. Méndez, Gemma Robles The logic determined by Smiley's matrix for Anderson and Belnap's first-degree entailment logic. Search on Bibsonomy J. Appl. Non Class. Logics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Thomas Macaulay Ferguson Faulty Belnap computers and subsystems of FDE. Search on Bibsonomy J. Log. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Cungen Cao, Bo Chen, Yuefei Sui The B4-valued propositional Belnap-Dunn logic. Search on Bibsonomy J. Intell. Fuzzy Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Hitoshi Omori, Katsuhiko Sano Generalizing Functional Completeness in Belnap-Dunn Logic. Search on Bibsonomy Stud Logica The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Michael De, Hitoshi Omori Classical Negation and Expansions of Belnap-Dunn Logic. Search on Bibsonomy Stud Logica The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24José Martínez-Fernández Remarks on the Gupta-Belnap fixed-point property for k-valued clones. Search on Bibsonomy J. Appl. Non Class. Logics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Katsuhiko Sano, Hitoshi Omori An expansion of first-order Belnap-Dunn logic. Search on Bibsonomy Log. J. IGPL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Umberto Rivieccio An infinity of super-Belnap logics. Search on Bibsonomy J. Appl. Non Class. Logics The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
24Glenn Bruns, Michael Huth 0001 Access control via belnap logic: Intuitive, expressive, and analyzable policy composition. Search on Bibsonomy ACM Trans. Inf. Syst. Secur. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
24Heinrich Wansing The Power of Belnap: Sequent Systems for SIXTEEN3. Search on Bibsonomy J. Philos. Log. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
24Alasdair Urquhart Anderson and Belnap's Invitation to Sin. Search on Bibsonomy J. Philos. Log. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
24Didier Dubois Author's response to Wansing and Belnap's Generalized truth-values. Search on Bibsonomy Log. J. IGPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 142 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license