|
|
Venues (Conferences, Journals, ...)
|
|
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 |
71 | Glenn Bruns, Michael Huth 0001 |
Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis. |
CSF |
2008 |
DBLP DOI BibTeX RDF |
Belnap logic, access control, policy languages, policy analysis |
65 | Dmitry Zaitsev 0002 |
A Few More Useful 8-valued Logics for Reasoning with Tetralattice EIGHT4. |
Stud Logica |
2009 |
DBLP DOI BibTeX RDF |
Generalized truth values, Dunn-Belnap logic, Shramko-Wansing logic, trilattice, tetralattice, first-degree entailment, bilattice |
65 | Yaroslav Shramko, Heinrich Wansing |
Hyper-Contradictions, Generalized Truth Values and Logics of Truth and Falsehood. |
J. Log. Lang. Inf. |
2006 |
DBLP DOI BibTeX RDF |
Hyper-contradiction, multilattice, Belnap-trilattice, first-degree entailment |
53 | Chris Hankin, Flemming Nielson, Hanne Riis Nielson |
Advice from Belnap Policies. |
CSF |
2009 |
DBLP DOI BibTeX RDF |
Belnap Logic, Verification, Access Control, Aspect-oriented Programming |
46 | William Jaworski |
The logic of how-questions. |
Synth. |
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 |
43 | Sylvia B. Encheva, Sharil Tumin |
Belnap's Logic in Sharing Protected Web Resources. |
KES (2) |
2007 |
DBLP DOI BibTeX RDF |
positive and negative authorization, Collaboration |
43 | Stefan Wölfl 0001 |
Qualitative Action Theory: A Comparison of the Semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap Approach to Agency. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Jan Maluszynski, Andrzej Szalas, Aida Vitória |
A Four-Valued Logic for Rough Set-Like Approximate Reasoning. |
Trans. Rough Sets |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Arie Gurfinkel, Marsha Chechik |
Why Waste a Perfectly Good Abstraction?. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Fabrice Correia |
Semantics for Analytic Containment. |
Stud Logica |
2004 |
DBLP DOI BibTeX RDF |
analytic containment, relevant implication, semantics |
33 | Mehdi 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. |
ISGT |
2024 |
DBLP DOI BibTeX RDF |
|
33 | Beatrice 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. |
Nucleic Acids Res. |
2022 |
DBLP DOI BibTeX RDF |
|
33 | Quynh 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. |
Big Data Cogn. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
33 | Martin 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. |
DSAI |
2022 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap, Thomas Müller 0007, Tomasz Placek |
New Foundations for Branching Space-Times. |
Stud Logica |
2021 |
DBLP DOI BibTeX RDF |
|
33 | Andrew 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. |
Appl. Clin. Inform. |
2020 |
DBLP DOI BibTeX RDF |
|
33 | Jö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. |
Nat. |
2016 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap, Thomas Müller 0007 |
CIFOL: Case-Intensional First Order Logic. |
J. Philos. Log. |
2014 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap, Thomas Müller 0007 |
BH-CIFOL: Case-Intensional First Order Logic. |
J. Philos. Log. |
2014 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap |
Newtonian determinism to branching space-times indeterminism in two moves. |
Synth. |
2012 |
DBLP DOI BibTeX RDF |
|
33 | Tomasz Placek, Nuel Belnap |
Indeterminism is a modal notion: branching spacetimes and Earman's pruning. |
Synth. |
2012 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap |
Prolegomenon to norms in branching space-times. |
J. Appl. Log. |
2011 |
DBLP DOI BibTeX RDF |
|
33 | Heinrich Wansing, Nuel Belnap |
Generalized truth values.: A reply to Dubois. |
Log. J. IGPL |
2010 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap |
Truth Values, Neither-true-nor-false, and Supervaluations. |
Stud Logica |
2009 |
DBLP DOI BibTeX RDF |
neither-true-nor-false, non-denoting terms, future tense, vagueness, paradoxes, truth values |
33 | Thomas Müller 0007, Nuel Belnap, Kohei Kishida |
Funny business in branching space-times: infinite modal correlations. |
Synth. |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap |
Norms in Branching Space-Times. |
DEON |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Matthew Weiner, Nuel Belnap |
How Causal Probabilities Might Fit into Our Objectively Indeterministic World. |
Synth. |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap |
Under Carnap's Lamp: Flat Pre-semantics. |
Stud Logica |
2005 |
DBLP DOI BibTeX RDF |
emantics, pre-semantics, Carnap, operations, meanings, truth |
33 | Nuel Belnap |
Agents and Agency in Branching Space-Times. |
Logic, Thought and Action |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Nuel D. Belnap Jr. |
Double Time References: Speech-act Reports as Modalities in an Indeterminist Setting. |
Advances in Modal Logic |
2000 |
DBLP DOI BibTeX RDF |
|
33 | John F. Horty, Nuel Belnap |
The deliberative stit: A study of action, omission, ability, and obligation. |
J. Philos. Log. |
1995 |
DBLP DOI BibTeX RDF |
|
33 | Robert K. Meyer, Michael A. McRobbie, Nuel Belnap |
Linear Analytic Tableaux. |
TABLEAUX |
1995 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap, Michael Perloff |
In the Realm of Agents. |
Ann. Math. Artif. Intell. |
1993 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap, Michael Perloff |
The Way of the Agent. |
Stud Logica |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap |
Linear Logic Displayed. |
Notre Dame J. Formal Log. |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap, Gerald J. Massey |
Semantic holism. |
Stud Logica |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Nuel D. Belnap Jr. |
Gupta's rule of revision theory of truth. |
J. Philos. Log. |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Nuel D. Belnap Jr. |
Display logic. |
J. Philos. Log. |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Nuel D. Belnap Jr., Anil Gupta, J. Michael Dunn |
A consecutive calculus for positive relevant implication with necessity. |
J. Philos. Log. |
1980 |
DBLP DOI BibTeX RDF |
|
33 | Nuel D. Belnap Jr. |
S-P interrogatives. |
J. Philos. Log. |
1972 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap, Storrs McCall |
Every functionally complete m-valued logic has a Post-complete axiomatization. |
Notre Dame J. Formal Log. |
1970 |
DBLP DOI BibTeX RDF |
|
33 | Nuel D. Belnap Jr. |
Intensional Models for First Degree Formulas. |
J. Symb. Log. |
1967 |
DBLP DOI BibTeX RDF |
|
33 | Nuel D. Belnap Jr., Richmond H. Thomason |
A rule-completeness theorem. |
Notre Dame J. Formal Log. |
1963 |
DBLP DOI BibTeX RDF |
|
33 | Nuel D. Belnap Jr., Hugues Leblanc, Richmond H. Thomason |
On not strengthening intuitionistic logic. |
Notre Dame J. Formal Log. |
1963 |
DBLP DOI BibTeX RDF |
|
33 | Alan Ross Anderson, Nuel Belnap |
The Pure Calculus of Entailment. |
J. Symb. Log. |
1962 |
DBLP DOI BibTeX RDF |
|
33 | Nuel D. Belnap Jr., Hugues Leblanc |
Intuitionism reconsidered. |
Notre Dame J. Formal Log. |
1962 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap |
Twenty-Sixth Annual Meeting of the Association for Symbolic Logic. |
J. Symb. Log. |
1960 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap |
Entailment and Relevance. |
J. Symb. Log. |
1960 |
DBLP DOI BibTeX RDF |
|
33 | Alan Ross Anderson, Nuel Belnap |
A Simple Treatment of Truth Functions. |
J. Symb. Log. |
1959 |
DBLP DOI BibTeX RDF |
|
33 | Alan Ross Anderson, Nuel Belnap |
Modalities in Ackermann's "Rigorous Implication". |
J. Symb. Log. |
1959 |
DBLP DOI BibTeX RDF |
|
24 | Cornelis A. Middelburg |
The interdefinability of expansions of Belnap-Dunn logic. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
24 | Gemma Robles, José M. Méndez |
A Class of Implicative Expansions of Belnap-Dunn Logic in which Boolean Negation is Definable. |
J. Philos. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Cornelis A. Middelburg |
Belnap-Dunn logic and query answering in inconsistent databases with null values. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Cornelis A. Middelburg |
A Conventional Expansion of First-Order Belnap-Dunn Logic. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Cornelis A. Middelburg |
Belnap-Dunn Logic and Query Answering in Inconsistent Databases with Null Values. |
Sci. Ann. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Adam Prenosil |
The Lattice of Super-Belnap Logics. |
Rev. Symb. Log. |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Marta 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. |
JIAF |
2023 |
DBLP BibTeX RDF |
|
24 | Marta 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. |
ISIPTA |
2023 |
DBLP BibTeX RDF |
|
24 | Salvatore Greco, Roman Slowinski |
Pawlak, Belnap and the Magical Number Seven. |
IJCRS |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Victor Timchenko, Yury P. Kondratenko, Vladik Kreinovich |
Interval-Valued and Set-Valued Extensions of Discrete Fuzzy Logics, Belnap Logic, and Color Optical Computing. |
EUSFLAT/AGOP |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Carolina Blasio |
Revisiting the Dunn-Belnap logic. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Sabine Frittella, Ondrej Majer, Sajad Nazari |
Updating belief functions over Belnap-Dunn logic. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Sajad Nazari |
Fonctions de croyances interprétées sur la logique de Belnap-Dunn. |
JIAF |
2022 |
DBLP BibTeX RDF |
|
24 | Sabine Frittella, Ondrej Majer, Sajad Nazari |
Toward Updating Belief Functions over Belnap-Dunn Logic. |
BELIEF |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Sabine Frittella, Ondrej Majer, Sajad Nazari |
Mise à jour des fonctions de croyances sur la logique de Belnap-Dunn. |
LFA |
2022 |
DBLP BibTeX RDF |
|
24 | Abilio Rodrigues, Juliana Bueno-Soler, Walter Carnielli |
Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic. |
Synth. |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Gemma Robles |
The Class of all 3-valued Implicative Expansions of Kleene?s Strong Logic Containing Anderson and Belnap's First Degree Entailment Logic. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
24 | Yuanlei Lin, Minghui Ma |
Belnap-Dunn Modal Logic with Value Operators. |
Stud Logica |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Norihiro Kamide |
Modal and Intuitionistic Variants of Extended Belnap-Dunn Logic with Classical Negation. |
J. Log. Lang. Inf. |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Gemma Robles |
A Variant with the Variable-Sharing Property of Brady's 4-Valued Implicative Expansion BN4 of Anderson and Belnap's Logic FDE. |
CLAR |
2021 |
DBLP DOI BibTeX RDF |
|
24 | José Miguel Blanco 0002 |
An Implicative Expansion of Belnap's Four-Valued Matrix: A Modal Four-Valued Logic Without Strong Modal Lukasiewicz-Type Paradoxes. |
Bull. Symb. Log. |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Minghui Ma, Yuanlei Lin |
Countably Many Weakenings of Belnap-Dunn Logic. |
Stud Logica |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Arnon Avron |
The Normal and Self-extensional Extension of Dunn-Belnap Logic. |
Logica Universalis |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Sergei P. Odintsov, Stanislav O. Speranski |
Belnap-Dunn Modal Logics: Truth constants vs. Truth Values. |
Rev. Symb. Log. |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Richard L. Kramer, Roger D. Maddux |
Relation algebras of Sugihara, Belnap, Meyer, and Church. |
J. Log. Algebraic Methods Program. |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Yaroslav Shramko |
Dual-Belnap Logic and Anything but Falsehood. |
FLAP |
2019 |
DBLP BibTeX RDF |
|
24 | Davide Ciucci, Didier Dubois |
A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information. |
Int. J. Approx. Reason. |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Minghui Ma, Yuanlei Lin |
A Deterministic Weakening of Belnap-Dunn Logic. |
Stud Logica |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Norihiro Kamide |
Gentzen-Type Sequent Calculi for Extended Belnap-Dunn Logics with Classical Negation: A General Framework. |
Logica Universalis |
2019 |
DBLP DOI BibTeX RDF |
|
24 | 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 |
|
24 | 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 |
|
24 | Hiroyuki Sato, Sridhar Nikita |
An Interactive and Continuous Authorization Scheme by using Belnap Logic. |
COMPSAC (2) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Norihiro Kamide |
An Extended Paradefinte Belnap-Dunn Logic that is Embeddable into Classical Logic and Vice Versa. |
ICAART (2) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Geoff Sutcliffe, Francis Jeffry Pelletier, Allen Hazen |
Making Belnap's "Useful 4-Valued Logic" Useful. |
FLAIRS |
2018 |
DBLP BibTeX RDF |
|
24 | Hugo Albuquerque, Adam Prenosil, Umberto Rivieccio |
An Algebraic View of Super-Belnap Logics. |
Stud Logica |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Thomas Macaulay Ferguson |
Rivals to Belnap-Dunn Logic on Interlaced Trilattices. |
Stud Logica |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Adam Prenosil |
Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics. |
Stud Logica |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Norihiro Kamide, Hitoshi Omori |
An Extended First-Order Belnap-Dunn Logic with Classical Negation. |
LORI |
2017 |
DBLP DOI BibTeX RDF |
|
24 | 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 |
|
24 | Thomas Macaulay Ferguson |
Faulty Belnap computers and subsystems of FDE. |
J. Log. Comput. |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Cungen Cao, Bo Chen, Yuefei Sui |
The B4-valued propositional Belnap-Dunn logic. |
J. Intell. Fuzzy Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Hitoshi Omori, Katsuhiko Sano |
Generalizing Functional Completeness in Belnap-Dunn Logic. |
Stud Logica |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Michael De, Hitoshi Omori |
Classical Negation and Expansions of Belnap-Dunn Logic. |
Stud Logica |
2015 |
DBLP DOI BibTeX RDF |
|
24 | 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 |
|
24 | Katsuhiko Sano, Hitoshi Omori |
An expansion of first-order Belnap-Dunn logic. |
Log. J. IGPL |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Umberto Rivieccio |
An infinity of super-Belnap logics. |
J. Appl. Non Class. Logics |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Glenn Bruns, Michael Huth 0001 |
Access control via belnap logic: Intuitive, expressive, and analyzable policy composition. |
ACM Trans. Inf. Syst. Secur. |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Heinrich Wansing |
The Power of Belnap: Sequent Systems for SIXTEEN3. |
J. Philos. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Alasdair Urquhart |
Anderson and Belnap's Invitation to Sin. |
J. Philos. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Didier Dubois |
Author's response to Wansing and Belnap's Generalized truth-values. |
Log. J. IGPL |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 142 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|