The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1946-1996 (15) 1997-2006 (16) 2007-2012 (17) 2013-2017 (15) 2018-2023 (9)
Publication types (Num. hits)
article(56) incollection(3) inproceedings(13)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 16 occurrences of 16 keywords

Results
Found 75 publication records. Showing 72 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
153Georg Gottlob From Carnap's Modal Logic to Autoepistemic Logic. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
72Patrick Maher Explication Defended. Search on Bibsonomy Stud Logica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF explication, formal philosophy, Carnap, formal methods
55Nuel 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
55Georg Gottlob NP Trees and Carnap's Modal Logic Search on Bibsonomy FOCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF propositional theory, NP trees, Carnap's modal logic, general dag, logarithmic number of queries, directed graph, polynomial time, complexity classes
51Benjamin R. George Second-Order Characterizable Cardinals and Ordinals. Search on Bibsonomy Stud Logica The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Cardinal Characterizability, Ordinal Characterizability, Fraenkel-Carnap Question, Second-order Logic
47Georg Gottlob NP Trees and Carnap's Modal Logic. Search on Bibsonomy J. ACM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF bounded query computation, trees, modal logic, oracle, epistemic logic, NP, autoepistemic logic
43Tillmann von Carnap Poster: Mapping rural marketplaces and tracking their activity using satellite imagery. Search on Bibsonomy COMPASS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
43Rudolf Carnap Value concepts (1958). Search on Bibsonomy Synth. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
43Yehoshua Bar-Hillel, R. Carnap, E. C. Cherry, Eugene Garfield, D. W. King, F. W. Lancaster, J. C. R. Licklider, D. M. Mackay, J. W. Perry, D. J. De S. Price, Gerard Salton, Claude E. Shannon, Mortimer Taube, B. C. Vickery, A. E. Cawkell Where the Action Is and Was in Information Science. Search on Bibsonomy J. Am. Soc. Inf. Sci. The full citation details ... 1974 DBLP  DOI  BibTeX  RDF
43Rudolf Carnap Modalities and Quantification. Search on Bibsonomy J. Symb. Log. The full citation details ... 1946 DBLP  DOI  BibTeX  RDF
42Enrique H. Ruspini Epistemic Logics, Probability, and the Calculus of Evidence. Search on Bibsonomy Classic Works of the Dempster-Shafer Theory of Belief Functions The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
26Denis Bonnay, Dag Westerståhl Carnap's Problem for Modal Logic. Search on Bibsonomy Rev. Symb. Log. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Víctor Aranda Completeness: From Husserl to Carnap. Search on Bibsonomy Logica Universalis The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
26Saeed Salehi A Reunion of Godel, Tarski, Carnap, and Rosser. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
26Saeed Salehi On the diagonal Lemma of Gödel and Carnap. Search on Bibsonomy Bull. Symb. Log. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
26Stefan Heßbrüggen-Walter Positivismus der geistigen Gegenstände: Carnap und die Digital Humanities. Search on Bibsonomy DHd The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
26Vera Flocke Carnap's Defense of Impredicative Definitions. Search on Bibsonomy Rev. Symb. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
26Darren J. Bradley Carnap's epistemological critique of metaphysics. Search on Bibsonomy Synth. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
26Tommaso Flaminio Logics for Strict Coherence and Carnap-Regular Probability Functions. Search on Bibsonomy IPMU (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
26Florian Steinberger Frege and Carnap on the normativity of logic. Search on Bibsonomy Synth. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
26Georg Schiemer Carnap on logic and rationality. Search on Bibsonomy Synth. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
26Sebastian Lutz Carnap on empirical significance. Search on Bibsonomy Synth. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
26Iris Loeb The role of universal language in the early work of Carnap and Tarski. Search on Bibsonomy Synth. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
26Georg Schiemer, Richard Zach, Erich H. Reck Carnap's early metatheory: scope and limits. Search on Bibsonomy Synth. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
26Steve Awodey Carnap and the invariance of logical truth. Search on Bibsonomy Synth. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
26Graham Leach-Krouse Carnap: An Open Framework for Formal Reasoning in the Browser. Search on Bibsonomy ThEdu@CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
26Harry Halpin, Alexandre Monnin The decentralization of knowledge: How Carnap and Heidegger influenced the Web. Search on Bibsonomy First Monday The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Iulian D. Toader Objectivity and understanding: a new reading of Carnap's Aufbau. Search on Bibsonomy Synth. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
26Alena Vencovská Extending Carnap's Continuum to Binary Relations. Search on Bibsonomy ICLA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
26Iris Loeb Uniting model theory and the universalist tradition of logic: Carnap's early axiomatics. Search on Bibsonomy Synth. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
26Peter P. Wakker Decision Principles to justify Carnap's Updating Method and to Suggest Corrections of Probability Judgments (Invited Talks) Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
26Ruurik Holm Infinity and verifiability in Carnap's inductive logic. Search on Bibsonomy J. Appl. Log. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Jeff B. Paris An observation on Carnap's Continuum and stochastic independencies. Search on Bibsonomy J. Appl. Log. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Vít Puncochár Some Modifications of Carnap's Modal Logic. Search on Bibsonomy Stud Logica The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
26Toby Meadows Revising Carnap's Semantic Conception of Modality. Search on Bibsonomy Stud Logica The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
26Georg Schiemer Carnap on extremal Axioms, "Completeness of the Models, " and Categoricity. Search on Bibsonomy Rev. Symb. Log. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
26Geoffrey Darnton Meta Meta Modelling, Carnap, and Innovating Information Systems. Search on Bibsonomy UKAIS The full citation details ... 2012 DBLP  BibTeX  RDF
26Hannes Leitgeb New life for Carnap's Aufbau? Search on Bibsonomy Synth. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
26Michael Friedman Carnap on theoretical terms: structuralism without metaphysics. Search on Bibsonomy Synth. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
26Sandy L. Zabell Carnap and the Logic of Inductive Inference. Search on Bibsonomy Inductive Logic The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
26Thomas Bonk Conceptions of Reality - Schlick, Carnap, Neurath. Search on Bibsonomy Otto Neurath and the Unity of Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
26Jan Heylen Carnap's Theory of Descriptions and its Problems. Search on Bibsonomy Stud Logica The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
26Oliver Kutz, Till Mossakowski, Dominik Lücke Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design. Search on Bibsonomy Logica Universalis The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
26Thomas Mormann New Work for Carnap's Quasi-Analysis. Search on Bibsonomy J. Philos. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Steven Awodey, A. W. Carus Carnap's dream: Gödel, Wittgenstein, and Logical, Syntax. Search on Bibsonomy Synth. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26Amélie Gheerbrant, Marcin Mostowski Recursive complexity of the Carnap first order modal logic C. Search on Bibsonomy Math. Log. Q. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Warren D. Goldfarb On Gödel's way in: the influence of Rudolf Carnap. Search on Bibsonomy Bull. Symb. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26George Weaver, Benjamin R. George Fraenkel-Carnap properties. Search on Bibsonomy Math. Log. Q. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Richard Zach Book Review: Michael Potter. Reason's Nearest Kin. Philosophies of Arithmetic from Kant to Carnap. Search on Bibsonomy Notre Dame J. Formal Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Iulian D. Toader A Diagrammatic Reconstruction of Carnap's Quasianalysis. Search on Bibsonomy Synth. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Gabriella Crocco Gödel, Carnap and the Fregean Heritage. Search on Bibsonomy Synth. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Norma yunez-naude What is Carnap's Conventionalism after all? Search on Bibsonomy Synth. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26George Weaver, Benjamin R. George The Fraenkel-Carnap question for Dedekind algebras. Search on Bibsonomy Math. Log. Q. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Christopher Pincock Russell's Influence On Carnap's Aufbau. Search on Bibsonomy Synth. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Peter P. Wakker Decision Principles to Justify Carnap's Updating Method and to Suggest Corrections. Search on Bibsonomy UAI The full citation details ... 2002 DBLP  BibTeX  RDF
26Michael Kremer 0004 Marti on Descriptions in Carnap'S S2. Search on Bibsonomy J. Philos. Log. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
26William H. Berge Carnap and translational indeterminacy. Search on Bibsonomy Synth. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
26David DeVidi, Graham Solomon Tolerance and metalanguages in Carnap'sLogical Syntax of Language. Search on Bibsonomy Synth. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
26Genoveva Martí Do modal distinctions collapse in Carnap's system? Search on Bibsonomy J. Philos. Log. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
26Hugues Leblanc, Bas C. van Fraassen On Carnap and Popper Probability Functions. Search on Bibsonomy J. Symb. Log. The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
26Stephen Spielman Carnap's robot and inductive logic. Search on Bibsonomy J. Philos. Log. The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
26Gerhard Tintner Eine Anwendung der Wahrscheinlichkeitstheorie von Carnap auf ein Problem der Unternehmensforschung. Search on Bibsonomy Unternehmensforschung The full citation details ... 1960 DBLP  DOI  BibTeX  RDF
26Frank Harary Note on Carnap's Relational Asymptotic Relative Frequencies. Search on Bibsonomy J. Symb. Log. The full citation details ... 1958 DBLP  DOI  BibTeX  RDF
21Giovanni Sartor Legal concepts as inferential nodes and ontological categories. Search on Bibsonomy Artif. Intell. Law The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Legal concepts, Ontology, Inference
21Luca Bellotti Formalization, Syntax and the Standard Model of Arithmetic. Search on Bibsonomy Synth. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF MSC 2000 00A30, 03A05, 03B10, 03E30
21Samson Abramsky Petri Nets, Discrete Physics, and Distributed Quantum Computation. Search on Bibsonomy ICATPN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21John F. Sowa Peirce's Contributions to the 21st Century. Search on Bibsonomy ICCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Jeff B. Paris, Alena Vencovská There Is a Reason for Everything (Probably): On the Application of Maxent to Induction. Search on Bibsonomy WCII The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21Lisa Carnahan, Gary Carver, Martha Gray, Michael Hogan, Theodore Hopp, Jeffrey Horlick, Gordon Lyon, Elena Messina Metrology for information technology. Search on Bibsonomy ACM Stand. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
21Michael Kaminski, Johann A. Makowsky, Michael L. Tiomkin Extensions for Open Default Theories via the Domain Closure Assumption. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
21Bruce J. MacLennan Overview of Relational Programming. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
21A. Caracciolo Some preliminary remarks on theoretical pragmatics. Search on Bibsonomy Commun. ACM The full citation details ... 1966 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #72 of 72 (100 per page; Change: )
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