Number of items at this level: 75.
13206
Grilletti, Gianluca und Quadrellaro, Davide Emilio
(2022):
Lattices of Intermediate Theories via Ruitenburg’s Theorem.
13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019.
In: Language, Logic, and Computation. 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers, Lecture Notes in Computer Science
Vol. 13206
Cham: Springer. pp. 297-322
12897
9726
Beebe, Cameron
(2016):
Model-Based Computation.
In: Amos, Martyn (ed.) :
Unconventional Computation and Natural Computation: 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings. Theoretical Computer Science and General Issues, Vol. 9726. Cham: Springer. pp. 75-86
9394
Klein, Dominik; Gratzl, Norbert und Roy, Olivier
(2015):
Introspection, Normality and Agglomeration.
In: Hoek, Wiebe van der; Holliday, H. Wesley und Wang, Wen-fang (eds.) :
Logic, Rationality, and Interaction. Lecture Notes in Computer Science, Vol. 9394. Berlin, Heidelberg: Springer Berlin Heidelberg. pp. 195-206
8196
Gratzl, Norbert
(2013):
Sequent Calculi for Multi-modal Logic with Interaction.
In: Grossi, Davide; Roy, Olivier und Huang, Huaxin (eds.) :
Logic, Rationality, and Interaction. Lecture Notes in Computer Science, Vol. 8196. Berlin, Heidelberg: Springer Berlin Heidelberg. pp. 124-134
7393
Roy, Olivier; Anglberger, Albert J. J. und Gratzl, Norbert
(2012):
The Logic of Obligation as Weakest Permission.
In: Ågotnes, Thomas; Broersen, Jan und Elgesem, Dag (eds.) :
Deontic Logic in Computer Science. Lecture Notes in Computer Science, Vol. 7393. Berlin, Heidelberg: Springer Berlin Heidelberg. pp. 139-150
6158
Paris, Jeff B. und Rafiee Rad, Soroush
(2010):
A Note on the Least Informative Model of a Theory.
In: Ferreira, Fernando; Löwe, Benedikt; Mayordomo, Elvira und Mendes Gomes, Luís (eds.) :
Programs, Proofs, Processes. Lecture Notes in Computer Science, Vol. 6158. Springer Berlin Heidelberg. pp. 342-351
5110
Koiran, Pascal; Landes, Jürgen; Portier, Natacha und Yao, Penghui
(2008):
Adversary Lower Bounds for Nonadaptive Quantum Algorithms.
In: Hodges, Wilfrid und de Queiroz, Ruy (eds.) :
Logic, Language, Information and Computation ; 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1 - 4, 2008 ; proceedings. Lecture notes in computer science, Vol. 5110. Berlin, Heidelberg: Springer. pp. 226-237
Paris, Jeff B. und Rafiee Rad, Soroush
(2008):
Inference Processes for Quantified Predicate Knowledge.
In: Hodges, Wilfrid und Queiroz, Ruy (eds.) :
Logic, Language, Information and Computation. Lecture Notes in Computer Science, Vol. 5110. Springer Berlin Heidelberg. pp. 249-259
4724
Landes, Jürgen; Paris, Jeff B. und Vencovská, Alena
(2007):
Language Invariance and Spectrum Exchangeability in Inductive Logic.
In: Mellouli, Khaled (ed.) :
Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007 ; proceedings. Lecture Notes in Computer Science, Vol. 4724. Berlin, Heidelberg: Springer Berlin Heidelberg. pp. 151-160
2116
362
Pfeifer, Niki
(2013):
On Argument Strength.
In: Zenker, Frank (ed.) :
Bayesian Argumentation. Synthese Library, Vol. 362. Springer Netherlands. pp. 185-193
338
255
Hartmann, Stephan
(2008):
Modeling High-Temperature Superconductivity: Correspondence at Bay?
In: Soler, Léna; Sankey, H. und Hoyningen-Huene, Paul (eds.) :
Rethinking Scientific Change and Theory Comparison: Stabilities, Ruptures, Incommensurabilities? Boston Studies in the Philosophy and History of Science, Vol. 255. Berlin: Springer. pp. 107-128
213
Hartmann, Stephan
(2015):
Imprecise Probabilities in Quantum Mechanics.
In: Crangle, Colleen E.; García de la Sienra, Adolfo und Longino, Helen E. (eds.) :
Foundations and Methods from Mathematics to Neuroscience: Essays Inspired by Patrick Suppes. CSLI Lecture Notes, Vol. 213. Stanford: CSLI Publications.
190
180
169
Frigg, Roman; Hartmann, Stephan und Imbert, Cyrille (eds.)
(2009):
Models and Simulations.
Synthese, Vol. 169. Dordrecht: Springer.
156
Hartmann, Stephan und Bovens, Luc (eds.)
(June 2007):
Bayesian Epistemology.
Synthese, Vol. 156. 3. : Springer.
123
Landes, Jürgen und Buettner, Ricardo
(2012):
Argumentation-Based Negotiation? Negotiation-Based Argumentation!
In: Huemer, Christian und Lops, Pasquale (eds.) :
E-Commerce and Web Technologies : 13th International Conference, EC-Web 2012, Vienna, Austria, September 4-5, 2012. Proceedings. Lecture Note in Business Information Processing, Vol. 123. Berlin, Heidelberg: Springer. pp. 149-162
79
73
64
Hartmann, Stephan
(1998):
Idealization in Quantum Field Theory.
In: Shanks, Niall (ed.) :
Idealization IX: Idealization in Contemporary Physics. Poznań Studies in the Philosophy of the Sciences and the Humanities, Vol. 64. Amsterdam: Rodopi. pp. 99-122
63
44
41
40
38
Frigg, Roman und Hartmann, Stephan (eds.)
(June 2007):
Probabilities in Quantum Mechanics.
Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics, Vol. 38. 2. : Elsevier.
28
Leitgeb, Hannes
(2007):
Towards a Logic of Type-Free Modality and Truth.
In: Dimitracopoulos, C. (ed.) :
Logic Colloquium 2005 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005. Lecture Notes in Logic, Vol. 28. Cambridge: Cambridge University Press. pp. 68-84
18
Hjortland, Ole T.
(October 2012):
Harmony and the Context of Deducibility.
In: Hjortland, Ole T. und Novaes, Catarina D. (eds.) :
Insolubles and Consequences: Essays in honour of Stephen Read. Tributes, Vol. 18. College Publications.
17
Bovens, Luc und Hartmann, Stephan
(2003):
Bayesian Networks in Philosophy.
In: Löwe, Benedikt; Malzkorn, Wolfgang und Räsch, Thoralf (eds.) :
Foundations of the Formal Sciences II. Trends in Logic, Vol. 17. Springer Netherlands. pp. 39-46
16
Landes, Jürgen; Paris, Jeff B. und Vencovska, Alena
(2009):
The principle of conformity and spectrum exchangeability.
In: Löwe, Benedikt; Pacuit, Eric und Romeijn, Jan-Willem (eds.) :
Foundations of the formal sciences VI : probabilistic reasoning and reasoning with probabilities. Studies in logic, Vol. 16. London: College Publ.. pp. 81-90
14
13
Curiel, Erik
(2017):
A Primer on Energy Conditions.
In: Lehmkuhl, Dennis; Schiemann, Gregor und Scholz, Erhard (eds.) :
Towards a Theory of Spacetime Theories. Einstein Studies, Vol. 13. New York: Birkhäuser. pp. 43-104
12
Leitgeb, Hannes; Halbach, Volker und Welch, Philip
(2005):
Possible Worlds Semantics for Predicates.
In: Kahle, R. (ed.) :
Intensionality. Lecture notes in logic, Vol. 12. Wellesley, Mass.: Peters. pp. 20-41
11
Hartmann, Stephan
(2001):
Vacuum.
In: Ritter, Joachim und Eisler, Rudolf (eds.) :
Historisches Wörterbuch der Philosophie. Vol. 11. Basel: Schwabe. pp. 527-530
10
Gabbay, Dov; Woods, John und Hartmann, Stephan (eds.)
(2011):
Inductive Logic.
Handbook of The History of Logic, Vol. 10. Amsterdam: Elsevier.
6
5
Hartmann, Stephan
(1997):
Modelling and the Aims of Science.
In: Weingartner, P. et al (ed.) :
The Role of Pragmatics in Contemporary Philosophy: Contributions of the Austrian Ludwig Wittgenstein Society. Vol. 5. Wien und Kirchberg: Digi-Buch. pp. 380-385
Hubert, Mario und Poellinger, Roland
(2014):
Anchoring Causal Connections in Physical Concepts.
In: Galavotti, Maria Carla; Dieks, Dennis; Gonzalez, Wenceslao J.; Hartmann, Stephan; Uebel, Thomas und Weber, Marcel (eds.) :
New Directions in the Philosophy of Science. The Philosophy of Science in a European Perspective, Vol. 5. Springer International Publishing. pp. 501-509
Roy, Olivier; Anglberger, Albert J. J. und Gratzl, Norbert
(2014):
The Logic of Best Actions from a Deontic Perspective.
In: Baltag, Alexandru und Smets, Sonja (eds.) :
Johan van Benthem on Logic and Information Dynamics. Outstanding Contributions to Logic, Vol. 5. Cham: Springer International Publishing. pp. 657-676
4
Anglberger, Albert
(2008):
Anfänge einer Logik öffentlich-deontischer Verlautbarung.
In: Kreuzbauer, Günther; Gratzl, Norbert und Hiebl, Ewald (eds.) :
Rhetorische Wissenschaft: Rede und Argumentation in Theorie und Praxis. Salzburger Beiträge zu Rhetorik und Argumentationstheorie, Vol. 4. Vienna: LIT Verlag. pp. 95-114
Gratzl, Norbert
(2008):
A Note the Lawyer.
In: Kreuzbauer, Günther; Gratzl, Norbert und Hiebl, Ewald (eds.) :
Rhetorische Wissenschaft: Rede und Argumentation in Theorie und Praxis. Salzburger Beiträge zu Rhetorik und Argumentationstheorie, Vol. 4. Münster: Lit-Verlag.
Leitgeb, Hannes
(2007):
Struktur und Symbol.
In: Schmidinger, H. und Sedmak, C. (eds.) :
Der Mensch – ein "animal symbolicum"? Sprache, Dialog, Ritual. Topologien des Menschlichen, Vol. 4. Darmstadt: Wissenschaftliche Buchgesellschaft. pp. 131-147
Pfeifer, Niki
(2008):
A probability logical interpretation of fallacies.
In: Kreuzbauer, Günther; Gratzl, Norbert und Hiebl, Ewald (eds.) :
Rhetorische Wissenschaft: Rede und Argumentation in Theorie und Praxis. Salzburger Beiträge zu Rhetorik und Argumentationstheorie, Vol. 4. Wien: LIT-Verlag. pp. 225-244
3
Dieks, Dennis; Gonzalez, Wenceslao; Hartmann, Stephan; Stöltzner, Michael und Weber, Marcel (eds.)
(2012):
Probabilities, Laws, and Structures.
The Philosophy of Science in a European Perspective, Vol. 3. : Springer.
Hartmann, Stephan
(2008):
Granger, Gilles Gaston.
In: Mittelstraß, Jürgen (ed.) :
Enzyklopädie Philosophie und Wissenschaftstheorie. Vol. 3. 2. Stuttgart: Metzler Verlag. pp. 197-198
Hartmann, Stephan
(1995):
Simulation.
In: Mittelstraß, Jürgen (ed.) :
Enzyklopädie Philosophie und Wissenschaftstheorie. Vol. 3. Stuttgart: Metzler Verlag. pp. 805-807
2
Dieks, Dennis; Gonzalez, Wenceslao; Hartmann, Stephan; Uebel, Thomas und Weber, Marcel (eds.)
(2011):
Explanation, Prediction, and Confirmation.
The Philosophy of Science in a European Perspective, Vol. 2. Berlin: Springer.
Gratzl, Norbert
(2007):
Moralische Dilemmata – Eine Definition und eine Logik.
In: Kreuzbauer, Günther; Gratzl, Norbert und Hiebl, Ewald (eds.) :
Persuasion und Wissenschaft: Aktuelle Fragestellungen von Rhetorik und Argumentationstheorie. Salzburger Beiträge zu Rhetorik und Argumentationstheorie, Vol. 2. Münster: Lit-Verlag.
Hartmann, Stephan
(2010):
Modelle.
In: Sandkühler, Hans-Jörg (ed.) :
Enzyklopädie Philosophie. Vol. 2. Hamburg: Meiner. pp. 1627-1632
Hartmann, Stephan und Frigg, Roman
(2005):
Scientific Models.
In: Sarkar, Sahotra und Pfeifer, Jessica (eds.) :
The Philosophy of Science: An Encyclopedia. Vol. 2. New York: Routledge, Taylor & Francis Group. pp. 740-749
Hartmann, Stephan und Mainzer, Klaus
(2005):
Erhaltungssätze.
In: Mittelstraß, Jürgen (ed.) :
Enzyklopädie Philosophie und Wissenschaftstheorie. Vol. 2. 2nd edition. Stuttgart: Metzler Verlag. pp. 268-270
1
Crupi, Vincenzo und Hartmann, Stephan
(2010):
Formal and Empirical Methods in Philosophy of Science.
In: Stadler, Friedrich (ed.) :
The Present Situation in the Philosophy of Science. The Philosophy of Science in a European Perspective, Vol. 1. Springer Netherlands. pp. 87-98
Gratzl, Norbert
(2007):
Rationale präskriptive Argumente.
In: Kreuzbauer, Günther und Dorn, Georg (eds.) :
Argumentation in Theorie und Praxis: Philosophie und Didaktik des Argumentierens. Salzburger Beiträge zu Rhetorik und Argumentationstheorie, Vol. 1. Münster: Lit-Verlag.
Hartmann, Stephan
(2008):
Modeling in Philosophy of Science.
In: Frauchiger, Michael und Essler, Wilhelm K. (eds.) :
Representation, Evidence, and Justification: Themes from Suppes. Lauener Library of Analytical Philosophy, Vol. 1. Frankfurt: Ontos Verlag. pp. 95-121
This list was generated on Mon Oct 7 10:02:31 2024 CEST.