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