|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: Proceedings of the 21st IEEE Computer Security Foundations Symposium, CSF 2008, Pittsburgh, Pennsylvania, USA, 23-25 June 2008, pp. 163-176, 2008, IEEE Computer Society, 978-0-7695-3182-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 92(2), pp. 265-280, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 15(4), pp. 403-424, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: Proceedings of the 22nd IEEE Computer Security Foundations Symposium, CSF 2009, Port Jefferson, New York, USA, July 8-10, 2009, pp. 234-247, 2009, IEEE Computer Society, 978-0-7695-3712-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Belnap Logic, Verification, Access Control, Aspect-oriented Programming |
46 | William Jaworski |
The logic of how-questions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 166(1), pp. 133-155, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II, pp. 125-132, 2007, Springer, 978-3-540-74826-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, pp. 70-81, 2004, Springer, 3-540-23242-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Jan Maluszynski, Andrzej Szalas, Aida Vitória |
A Four-Valued Logic for Rough Set-Like Approximate Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Rough Sets ![In: Trans. Rough Sets 6, pp. 176-190, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Arie Gurfinkel, Marsha Chechik |
Why Waste a Perfectly Good Abstraction?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings, pp. 212-226, 2006, Springer, 3-540-33056-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Fabrice Correia |
Semantics for Analytic Containment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 77(1), pp. 87-104, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISGT ![In: IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, ISGT 2024, Washington, DC, USA, February 19-22, 2024, pp. 1-5, 2024, IEEE, 979-8-3503-1360-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 50(D1), pp. 898-911, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Big Data Cogn. Comput. ![In: Big Data Cogn. Comput. 6(1), pp. 15, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSAI ![In: Proceedings of the 10th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-exclusion, DSAI 2022, Lisbon, Portugal, 31 August 2022 - 2 September 2022, pp. 12-17, 2022, ACM, 978-1-4503-9807-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap, Thomas Müller 0007, Tomasz Placek |
New Foundations for Branching Space-Times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 109(2), pp. 239-284, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Clin. Inform. ![In: Appl. Clin. Inform. 11(05), pp. 825-838, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. ![In: Nat. 540(7632), pp. 292-295, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap, Thomas Müller 0007 |
CIFOL: Case-Intensional First Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 43(2-3), pp. 393-437, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap, Thomas Müller 0007 |
BH-CIFOL: Case-Intensional First Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 43(5), pp. 835-866, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap |
Newtonian determinism to branching space-times indeterminism in two moves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 188(1), pp. 5-21, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
33 | Tomasz Placek, Nuel Belnap |
Indeterminism is a modal notion: branching spacetimes and Earman's pruning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 187(2), pp. 441-469, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap |
Prolegomenon to norms in branching space-times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Log. ![In: J. Appl. Log. 9(2), pp. 83-94, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
33 | Heinrich Wansing, Nuel Belnap |
Generalized truth values.: A reply to Dubois. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 18(6), pp. 921-935, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap |
Truth Values, Neither-true-nor-false, and Supervaluations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 91(3), pp. 305-334, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 164(1), pp. 141-159, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap |
Norms in Branching Space-Times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 1-2, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Matthew Weiner, Nuel Belnap |
How Causal Probabilities Might Fit into Our Objectively Indeterministic World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 149(1), pp. 1-36, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap |
Under Carnap's Lamp: Flat Pre-semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 80(1), pp. 1-28, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
emantics, pre-semantics, Carnap, operations, meanings, truth |
33 | Nuel Belnap |
Agents and Agency in Branching Space-Times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic, Thought and Action ![In: Logic, Thought and Action, pp. 291-313, 2005, Springer, 978-1-4020-2616-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Nuel D. Belnap Jr. |
Double Time References: Speech-act Reports as Modalities in an Indeterminist Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Modal Logic ![In: Advances in Modal Logic 3, papers from the third conference on `Advances in Modal logic,` held in Leipzig, Germany, 4-7 October 2000, pp. 37-58, 2000, World Scientific, 981-238-179-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
33 | John F. Horty, Nuel Belnap |
The deliberative stit: A study of action, omission, ability, and obligation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 24(6), pp. 583-644, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
33 | Robert K. Meyer, Michael A. McRobbie, Nuel Belnap |
Linear Analytic Tableaux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TABLEAUX ![In: Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings, pp. 278-293, 1995, Springer, 3-540-59338-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap, Michael Perloff |
In the Realm of Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 9(1-2), pp. 25-48, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap, Michael Perloff |
The Way of the Agent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 51(3/4), pp. 463-484, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap |
Linear Logic Displayed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 31(1), pp. 14-25, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap, Gerald J. Massey |
Semantic holism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 49(1), pp. 67-82, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
33 | Nuel D. Belnap Jr. |
Gupta's rule of revision theory of truth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 11(1), pp. 103-116, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Nuel D. Belnap Jr. |
Display logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 11(4), pp. 375-417, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
33 | Nuel D. Belnap Jr., Anil Gupta, J. Michael Dunn |
A consecutive calculus for positive relevant implication with necessity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 9(4), pp. 343-362, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
33 | Nuel D. Belnap Jr. |
S-P interrogatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 1(3-4), pp. 331-346, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap, Storrs McCall |
Every functionally complete m-valued logic has a Post-complete axiomatization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 11(1), pp. 106, 1970. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
33 | Nuel D. Belnap Jr. |
Intensional Models for First Degree Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 32(1), pp. 1-22, 1967. The full citation details ...](Pics/full.jpeg) |
1967 |
DBLP DOI BibTeX RDF |
|
33 | Nuel D. Belnap Jr., Richmond H. Thomason |
A rule-completeness theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 4(1), pp. 39-43, 1963. The full citation details ...](Pics/full.jpeg) |
1963 |
DBLP DOI BibTeX RDF |
|
33 | Nuel D. Belnap Jr., Hugues Leblanc, Richmond H. Thomason |
On not strengthening intuitionistic logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 4(4), pp. 313-320, 1963. The full citation details ...](Pics/full.jpeg) |
1963 |
DBLP DOI BibTeX RDF |
|
33 | Alan Ross Anderson, Nuel Belnap |
The Pure Calculus of Entailment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 27(1), pp. 19-52, 1962. The full citation details ...](Pics/full.jpeg) |
1962 |
DBLP DOI BibTeX RDF |
|
33 | Nuel D. Belnap Jr., Hugues Leblanc |
Intuitionism reconsidered. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 3(2), pp. 79-82, 1962. The full citation details ...](Pics/full.jpeg) |
1962 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap |
Twenty-Sixth Annual Meeting of the Association for Symbolic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 25(4), pp. 384-393, 1960. The full citation details ...](Pics/full.jpeg) |
1960 |
DBLP DOI BibTeX RDF |
|
33 | Nuel Belnap |
Entailment and Relevance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 25(2), pp. 144-146, 1960. The full citation details ...](Pics/full.jpeg) |
1960 |
DBLP DOI BibTeX RDF |
|
33 | Alan Ross Anderson, Nuel Belnap |
A Simple Treatment of Truth Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 24(4), pp. 301-302, 1959. The full citation details ...](Pics/full.jpeg) |
1959 |
DBLP DOI BibTeX RDF |
|
33 | Alan Ross Anderson, Nuel Belnap |
Modalities in Ackermann's "Rigorous Implication". ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 24(2), pp. 107-111, 1959. The full citation details ...](Pics/full.jpeg) |
1959 |
DBLP DOI BibTeX RDF |
|
24 | Cornelis A. Middelburg |
The interdefinability of expansions of Belnap-Dunn logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.04641, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 52(3), pp. 915-938, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Cornelis A. Middelburg |
Belnap-Dunn logic and query answering in inconsistent databases with null values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.05264, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Cornelis A. Middelburg |
A Conventional Expansion of First-Order Belnap-Dunn Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.10555, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Cornelis A. Middelburg |
Belnap-Dunn Logic and Query Answering in Inconsistent Databases with Null Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Ann. Comput. Sci. ![In: Sci. Ann. Comput. Sci. 33(2), pp. 159-192, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Adam Prenosil |
The Lattice of Super-Belnap Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 16(1), pp. 114-163, March 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JIAF ![In: 17èmes Journées d'Intelligence Artificielle Fondamentale, JIAF 2023, Strasbourg, France, July 6-7, 2023., pp. 91-92, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIPTA ![In: International Symposium on Imprecise Probability: Theories and Applications, ISIPTA 2023, 11-14 July 2023, Oviedo, Spain., pp. 37-47, 2023, PMLR. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
24 | Salvatore Greco, Roman Slowinski |
Pawlak, Belnap and the Magical Number Seven. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCRS ![In: Rough Sets - International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings, pp. 216-228, 2023, Springer, 978-3-031-50958-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSFLAT/AGOP ![In: Fuzzy Logic and Technology, and Aggregation Operators - 13th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2023, and 12th International Summer School on Aggregation Operators, AGOP 2023, Palma de Mallorca, Spain, September 4-8, 2023, Proceedings, pp. 297-303, 2023, Springer, 978-3-031-39964-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Carolina Blasio |
Revisiting the Dunn-Belnap logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2203.09652, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Sabine Frittella, Ondrej Majer, Sajad Nazari |
Updating belief functions over Belnap-Dunn logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.15159, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JIAF ![In: 16èmes Journées d'Intelligence Artificielle Fondamentale, JIAF 2022, Saint-Étienne, France, June 30 - July 1, 2022., pp. 133-134, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
24 | Sabine Frittella, Ondrej Majer, Sajad Nazari |
Toward Updating Belief Functions over Belnap-Dunn Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BELIEF ![In: Belief Functions: Theory and Applications - 7th International Conference, BELIEF 2022, Paris, France, October 26-28, 2022, Proceedings, pp. 261-272, 2022, Springer, 978-3-031-17800-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Sabine Frittella, Ondrej Majer, Sajad Nazari |
Mise à jour des fonctions de croyances sur la logique de Belnap-Dunn. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFA ![In: Rencontres francophones sur la Logique Floue et ses Applications, LFA 2022, Toulouse, France, October 20-21, 2022, 2022, Cépaduès, 9782364939523. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
24 | Abilio Rodrigues, Juliana Bueno-Soler, Walter Carnielli |
Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 198(22-S), pp. 5451-5480, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(7), pp. 2035-2072, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
24 | Yuanlei Lin, Minghui Ma |
Belnap-Dunn Modal Logic with Value Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 109(4), pp. 759-789, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Norihiro Kamide |
Modal and Intuitionistic Variants of Extended Belnap-Dunn Logic with Classical Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 30(3), pp. 491-531, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 362-376, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 26(3-4), pp. 297-298, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Minghui Ma, Yuanlei Lin |
Countably Many Weakenings of Belnap-Dunn Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 108(2), pp. 163-198, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Arnon Avron |
The Normal and Self-extensional Extension of Dunn-Belnap Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logica Universalis ![In: Logica Universalis 14(3), pp. 281-296, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Sergei P. Odintsov, Stanislav O. Speranski |
Belnap-Dunn Modal Logics: Truth constants vs. Truth Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 13(2), pp. 416-435, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Richard L. Kramer, Roger D. Maddux |
Relation algebras of Sugihara, Belnap, Meyer, and Church. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 117, pp. 100604, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Yaroslav Shramko |
Dual-Belnap Logic and Anything but Falsehood. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 6(2), pp. 413-430, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
24 | Davide Ciucci, Didier Dubois |
A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 106, pp. 107-127, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Minghui Ma, Yuanlei Lin |
A Deterministic Weakening of Belnap-Dunn Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 107(2), pp. 283-312, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Norihiro Kamide |
Gentzen-Type Sequent Calculi for Extended Belnap-Dunn Logics with Classical Negation: A General Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logica Universalis ![In: Logica Universalis 13(1), pp. 37-63, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 29(3), pp. 307-325, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 29(1), pp. 37-63, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Hiroyuki Sato, Sridhar Nikita |
An Interactive and Continuous Authorization Scheme by using Belnap Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: 43rd IEEE Annual Computer Software and Applications Conference, COMPSAC 2019, Milwaukee, WI, USA, July 15-19, 2019, Volume 2, pp. 682-687, 2019, IEEE, 978-1-7281-2607-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Norihiro Kamide |
An Extended Paradefinte Belnap-Dunn Logic that is Embeddable into Classical Logic and Vice Versa. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (2) ![In: Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 2019, Volume 2, Prague, Czech Republic, February 19-21, 2019., pp. 377-387, 2019, SciTePress, 978-989-758-350-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Geoff Sutcliffe, Francis Jeffry Pelletier, Allen Hazen |
Making Belnap's "Useful 4-Valued Logic" Useful. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAIRS ![In: Proceedings of the Thirty-First International Florida Artificial Intelligence Research Society Conference, FLAIRS 2018, Melbourne, Florida, USA. May 21-23 2018., pp. 116-121, 2018, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
24 | Hugo Albuquerque, Adam Prenosil, Umberto Rivieccio |
An Algebraic View of Super-Belnap Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 105(6), pp. 1051-1086, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Thomas Macaulay Ferguson |
Rivals to Belnap-Dunn Logic on Interlaced Trilattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 105(6), pp. 1123-1148, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Adam Prenosil |
Cut Elimination, Identity Elimination, and Interpolation in Super-Belnap Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 105(6), pp. 1255-1289, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Norihiro Kamide, Hitoshi Omori |
An Extended First-Order Belnap-Dunn Logic with Classical Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LORI ![In: Logic, Rationality, and Interaction - 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings, pp. 79-93, 2017, Springer, 978-3-662-55664-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 26(1), pp. 47-68, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Thomas Macaulay Ferguson |
Faulty Belnap computers and subsystems of FDE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 26(5), pp. 1617-1636, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Cungen Cao, Bo Chen, Yuefei Sui |
The B4-valued propositional Belnap-Dunn logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Fuzzy Syst. ![In: J. Intell. Fuzzy Syst. 28(6), pp. 2705-2713, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Hitoshi Omori, Katsuhiko Sano |
Generalizing Functional Completeness in Belnap-Dunn Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 103(5), pp. 883-917, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Michael De, Hitoshi Omori |
Classical Negation and Expansions of Belnap-Dunn Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 103(4), pp. 825-851, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | José Martínez-Fernández |
Remarks on the Gupta-Belnap fixed-point property for k-valued clones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 24(1-2), pp. 118-131, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Katsuhiko Sano, Hitoshi Omori |
An expansion of first-order Belnap-Dunn logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 22(3), pp. 458-481, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Umberto Rivieccio |
An infinity of super-Belnap logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Non Class. Logics ![In: J. Appl. Non Class. Logics 22(4), pp. 319-335, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Glenn Bruns, Michael Huth 0001 |
Access control via belnap logic: Intuitive, expressive, and analyzable policy composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. Secur. ![In: ACM Trans. Inf. Syst. Secur. 14(1), pp. 9:1-9:27, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Heinrich Wansing |
The Power of Belnap: Sequent Systems for SIXTEEN3. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 39(4), pp. 369-393, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Alasdair Urquhart |
Anderson and Belnap's Invitation to Sin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 39(4), pp. 453-472, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Didier Dubois |
Author's response to Wansing and Belnap's Generalized truth-values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 18(6), pp. 936-940, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 142 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|