Logica - PDFSEARCH.IO - Document Search Engine

Logica
Results: 499

#	Item
261	The Semantics of Untrustworthiness Giuseppe Primiero & Laszlo Kosolosky Centre for Logic and Philosophy of Science Ghent University, Belgium Abstract We offer a formal treatment of the semantics of both complete and Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-04-26 09:39:32 Information Philosophical logic Mathematical logic Model theory Communication Modal logic Finitary relation Code Interpretation Logic Data transmission Science
262	Chapter 1 Abduction of Multiple Explanatory Hypotheses 1 Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-12-06 10:43:53 Reasoning Epistemology Charles Sanders Peirce Logical consequence Abductive reasoning Defeasible reasoning Entailment Modal logic Scientific method Logic Science Philosophical logic
263	Distrust and Mistrust for Privatively and Modally qualified Information Channels Giuseppe Primiero (joint work with Laszlo Kosolosky) FWO - Research Foundation Flanders Centre for Logic and Philosophy of Science, Ghent U Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-03-27 07:02:53 Accountability Reputation management Behavior Distrust Mistrust Trust Primiero Modal logic Ghent Ethics Sociology Social psychology
264	Dynamic Proof Theories For Reasoning With Conditionals Christian Straßer and Mathieu Beirlaen and Frederik Van De Putte Centre for Logic and Philosophy of Science Ghent University, Belgium Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-05-29 05:24:27 Conditionals Modal logic Deontic logic Logical connectives Philosophical logic Material conditional Strict conditional Logic Mathematical logic Propositional calculus
265	Error Handling Giuseppe Primiero FWO - Research Foundation Flanders Centre for Logic and Philosophy of Science, Ghent University [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-03-21 08:22:58 Type theory Semantics Predicate logic Proof theory Quantification Type system Model theory Mathematical logic Exception handling Logic Metalogic Science
266	Validity in a Modal Procedural Semantics Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University IEG - Oxford University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-10-21 12:17:12 Proof theory Logic in computer science Curry–Howard correspondence Dependently typed programming Philosophy of computer science Type theory Entailment Ordinal number Logic Mathematical logic Mathematics
267	An Adaptive Logic-based Approach to Abduction in AI∗ (Preliminary Report) Tjerk Gauderis Centre for Logic and Philosophy of Science Ghent University, Belgium Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-12-06 10:47:08 Non-classical logic Logical consequence Defeasible reasoning Non-monotonic logic Default logic Abductive reasoning Entailment First-order logic Inference Logic Reasoning Logic programming
268	Generating, solving and the mathematics of Homo Sapiens. Emil Post’s views on computation Liesbeth De Mol∗ [removed] “For if symbolic logic has failed to give wings to mathematicians this study of Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-29 04:43:49 Computer science Theory of computation Church–Turing thesis Computable function Halting problem Entscheidungsproblem Turing machine Emil Leon Post Computable number Theoretical computer science Computability theory Mathematics
269	Procedural Semantics for a Modal Type System Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University IEG - Oxford University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-07-22 05:24:16 Logic Proof theory Programming language semantics Curry–Howard correspondence Philosophy of computer science Type theory Operational semantics Programming language Interpretation Theoretical computer science Logic in computer science Mathematical logic
270	Propositional Logic Extended With A Pedagogically Useful Relevant Implication∗ Diderik Batens Centre for Logic and Philosophy of Science Ghent University, Belgium [removed] Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2013-05-06 17:32:48 Non-classical logic Logical consequence Paraconsistent logic Natural deduction Relevance logic Entailment Paradoxes of material implication Material conditional Modal logic Logic Philosophical logic Propositional calculus

UPDATE