<style face="normal" font="default" size="100%">Non-deterministic logic of informal provability has no finite characterization</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Non-deterministic logic of informal provability has no finite characterization</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Paradoxes of informal provability and many-valued indeterministic provability logic</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Tree-like proof systems for finitely-many valued deterministic and indeterministic consequence relations</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Logics of (formal and informal) provability</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Many-valued logic of informal provability: a non-deterministic strategy</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Proof systems for BAT consequence relations </style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">The semantics of untrustworthiness</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Hyperintensional Logics of Reasons</style>

Drupal-Biblio

10

<style face="normal" font="default" size="100%">How to take heroin (if at all). A new approach to detachment in deontic logic</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Abduction Logics Illustrating Pitfalls Of Defeasible Methods</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Paradoxen in de vrijmetselarij en de relatie met waarden</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Philosophical Aspects of an Alleged Connection Between the Axiom of Choice and Predicting the Future</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Bloody analogical reasoning</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">The Concept of Disease and Our Responsibility for Children</style>

Drupal-Biblio

10

<style face="normal" font="default" size="100%">Dynamic Derivations for Sequent-Based Deductive Argumentation</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">J-Calc: A typed lambda calculus for Intuitionistic Justification Logic</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Alleged assassins: realist and constructivist semantics for modal modification</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Offline and online data: on upgrading functional information to knowledge</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">A taxonomy of errors for information systems</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">A contextual type theory with judgemental modalities for reasoning from open assumptions</style>

Drupal-Biblio

10

<style face="normal" font="default" size="100%">A formal approach to vague expressions with indexicals</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">The generation of abductive explanations from inconsistent theories</style>

Drupal-Biblio

27

<style face="normal" font="default" size="100%">Intuitionistic Logic of Proofs with dependent proof terms</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">A modal type theory for formalizing trusted communications</style>

Drupal-Biblio

10

<style face="normal" font="default" size="100%">Reasoning with computer-assisted experiments in mathematics</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Report 'International Conference on History and Philosophy of Computing' (HAPOC)</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Type-Theoretical Dynamics. Exploring Belief Revision in a Constructive Framework</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">A unifying framework for reasoning about normative conflicts</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">An atlas for the social world: what should it (not) look like? Interdisciplinarity and pluralism in the social sciences</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Giovanni Sommaruga (ed): Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information (Review)</style>

Drupal-Biblio

27

<style face="normal" font="default" size="100%">A multi-modal type system and its procedural semantics for safe distributed programming</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">On the necessity of (sometimes) being synthetic. Comment on Poggiolesi.</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Report 3rd Workshop in the Philosophy of Information</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">An adaptive logic framework for conditional obligations and deontic dilemmas</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">The body in Renaissance arithmetic: from mnemonics to embodied cognition</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Constructive contextual modal judgments for reasoning from open assumptions</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Inconsistency-adaptive modal logics: on how to cope with modal inconsistency</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">A Multi-Modal Dependent Type Theory for Representing Data Accessibility in a Network.</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">On Relevance Conditions for Asserting Disjunctions</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">The symbolic model for algebra: functions and mechanisms</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">William Harvey en de ontdekking van de bloedsomloop.</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">"Clear Moon, Frost soon". An introduction to the Study of Meteorological Practices in the Low Countries (1550-1850)</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">A constructive modal semantics for contextual verification</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">An epistemic logic for becoming informed</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Epistemic Modalities</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">A note on constructive modalities for information</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Prioritized Dynamic Retraction Function on Non-monotonic Information Updates</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Proceeding in abstraction: from concepts to types and the recent perspective on information</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Strategies: what's in a name?</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Two type-theoretical approaches to privative modification</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Adaptive arbitration by variant counting on commutative bases with weights</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Entry "Helmont, Johannes (Joan) Baptista Van"</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Graham Priest and Diderik Batens Interview Each Other</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Majority Merging by Adaptive Counting</style>

Drupal-Biblio

27

<style face="normal" font="default" size="100%">A model for processing updates with inconsistent information on propositional databases</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Ockhams theorie van evidente kennis en het epistemologisch externalisme</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Protagoras en het kennistheoretisch relativisme</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Quasi-merging and Pure-arbitration on Information for the family of Adaptive Logics ADM</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">The Role of Logic in Philosophy of Science</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Abduction as a strategy for concept formation in mathematics: Cardano postulating a negative.</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Abduction through Semantic Tableaux versus Abduction through Goal-Directed Proofs</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Adaptive Logics for Abduction and the Explication of Explanation-Seeking Processes</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Assessing the explanatory power of causal explanations.</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Belief Merging based on Adaptive Interaction</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">On building abstract Terms in Typed Systems</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Content Guidance in Formal Problem Solving Processes</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">A modal language for contextual computations</style>

Drupal-Biblio

27

<style face="normal" font="default" size="100%">An Adaptive Characterization of Signed Systems for Paraconsistent Reasoning</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Are there ontological explanations?</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Belief Revision in Constructive Type Theory</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Discussive Adaptive Logics: Handling Internal and External Inconsistencies</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Narrowing Down Suspicion in Inconsistent Premise Sets</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">A World of Experiences, an Adequate Language, and Self-Reference Revised</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">An Adaptive Logic for Compassionate Relevantism</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Empirical Progress and Ampliative Adaptive Logics</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Prospectieve Dynamiek. Filosofische en Technische Onderbouwing van Doelgerichte Bewijzen en Bewijsheuristieken</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Direct Dynamic Proofs for Classical Compatibility</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Direct dynamic proofs for compatibility.</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Some Adaptive Logics for Diagnosis</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Is er een diepe kloof tussen de heuristiek en de inferentieregels van een bewijstheorie? Een poging tot integratie.</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">How to obtain elegant Fitch-style proofs from Goal directed ones.</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">A logical approach to the analysis of metaphors</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Pushing the Search Paths in the Proofs. A Study in Proof Heuristics</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">An Extremely Rich Paraconsistent Logic and the Adaptive Logic Based on It</style>

Drupal-Biblio

6

<style face="normal" font="default" size="100%">Frontiers of Paraconsistent Logic</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">A Survey of Inconsistency-Adaptive Logics</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">A Formal Analysis of Diagnosis and Diagnostic Reasoning</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Dynamic Dialectical Logics</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Leo Apostel on Dialectical Logic</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Two semantically motivated enrichments of relevant logics</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Meaning, Acceptance, and Dialectics</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">An empirical investigation on scientific observation</style>

Drupal-Biblio

13

<style face="normal" font="default" size="100%">Verisimilitude and meaning relations</style>