Search results for "Carnap"

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