Search results for "Belnap"

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