Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 212 results:

Author Title [ Type

] Year

Filters: First Letter Of Last Name is B [Clear All Filters]

Conference Paper

De Mol, Liesbeth, and Maarten Bullynck. 2008. “A Week-End Off: The First Extensive Number-Theoretical Computation On The Eniac”. In Logic and Theory of Algorithms, Logic and Theory of Algorithms, Arnold Beckmann, Dimitracopoulos, Costas, and Löwe, Benedikt. Springer Verlag.

De Mol, Liesbeth, and Maarten Bullynck. 2008. “A Week-End Off: The First Extensive Number-Theoretical Computation On The Eniac”. In Logic and Theory of Algorithms, Logic and Theory of Algorithms, Arnold Beckmann, Dimitracopoulos, Costas, and Löwe, Benedikt. Springer Verlag.

Conference Proceedings

Straßer, Christian, and Mathieu Beirlaen. 2012. “An Andersonian Deontic Logic With Contextualized Sanctions” Thomas Agotnes, Broersen, Jan, and Elgesem, Dag. 11th International Conference on Deontic Logic in Computer Science, DEON2012: 151-169.

Straßer, Christian, and Mathieu Beirlaen. 2012. “An Andersonian Deontic Logic With Contextualized Sanctions” Thomas Agotnes, Broersen, Jan, and Elgesem, Dag. 11th International Conference on Deontic Logic in Computer Science, DEON2012: 151-169.

Beirlaen, Mathieu, and Christian Straßer. 2011. “A Paraconsistent Multi-Agent Framework For Dealing With Normative Conflicts” Joao Leite, Torroni, Paolo, Agotnes, Thomas, Boella, Guido, and van der Torre, Leon. 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII): 312-329. http://dx.doi.org/10.1007/978-3-642-22359-4.

Beirlaen, Mathieu, and Christian Straßer. 2011. “A Paraconsistent Multi-Agent Framework For Dealing With Normative Conflicts” Joao Leite, Torroni, Paolo, Agotnes, Thomas, Boella, Guido, and van der Torre, Leon. 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII): 312-329. http://dx.doi.org/10.1007/978-3-642-22359-4.

Journal Article

Batens, Diderik. 1987. “Action Science And The Reunification Of The Social Sciences And Epistemology”. Philosophica 40: 109–134.

Batens, Diderik. 2003. “Adaptieve Logica's. Een Precieze Benadering Van Vertrouwde Maar Door Logici Verwaarloosde Redeneervormen”. Algemeen Nederlands Tijdschrift voor Wijsbegeerte 95: 174–189.

Van De Putte, Frederik, Mathieu Beirlaen, and Joke Meheus. 2019. “Adaptive Deontic Logics: A Survey”. IfCoLog Journal of Logics and their Applications 6: 523-608. http://www.collegepublications.co.uk/downloads/ifcolog00032.pdf.

Batens, Diderik. 2020. “Adaptive Fregean Set Theory”. Studia Logica 108: 903–939 (e-published 10 NOV 2019).

Straßer, Christian, Mathieu Beirlaen, and Frederik Van De Putte. 2016. “Adaptive Logic Characterizations Of Input/output Logic”. Studia Logica 104(5): 869-916.

Straßer, Christian. 2010. “An Adaptive Logic Framework For Conditional Obligations And Deontic Dilemmas” Koji Tanaka, Berto, Francesco, Mares, Edwin, and Paoli, Francesco. Logic and logical philosophy 19: 95–128.

Batens, Diderik, and Joke Meheus. 2000. “The Adaptive Logic Of Compatibility”. Studia Logica 66: 327–348.

Batens, Diderik. 1990. “Against Global Paraconsistency”. Studies in Soviet Thought 39: 209–229.

Beirlaen, Mathieu. 2011. “Aristotle's Modal Proofs, By Adriane Rini (Review; In Dutch)”. Tijdschrift voor Filosofie 4: 749-751.

Batens, Diderik. 2004. “The Basic Inductive Schema, Inductive Truisms, And The Research-Guiding Capacities Of The Logic Of Inductive Generalization”. Logique et Analyse 47: 53–84.

Batens, Diderik. 1995. “Blocks. The Clue To Dynamic Aspects Of Logic”. Logique et Analyse 38: 285–328.

Batens, Diderik. 1982. “A Bridge Between Two-Valued And Many-Valued Semantic Systems: N-Tuple Semantics”. Proceedings of the 12th International Symposium on Multiple-Valued Logic IEEE: Los Angeles, 318–322.

Batens, Diderik, and Lieven Haesaert. 2001. “On Classical Adaptive Logics Of Induction”. Logique et Analyse 44: 255–290.

Batens, Diderik. 1980. “A Completeness-Proof Method For Extensions Of The Implicational Fragment Of The Propositional Calculus”. Notre Dame Journal of Formal Logic 21: 509–517.

Batens, Diderik. 1999. “Contextual Problem Solving And Adaptive Logics In Creative Processes”. Philosophica 64: 7–31.

Batens, Diderik. 2003. “Criteria Causing Inconsistencies. General Gluts As Opposed To Negation Gluts”. Logic and Logical Philosophy 11/12: 5–37.

Batens, Diderik. 1973. “De Rol Van Ontische Factoren In De Kennisverzameling”. Communication and Cognition 6: 51–69.

Batens, Diderik. 1975. “Deduction And Contextual Information”. Communication and Cognition 8: 243–277.

Batens, Diderik. 2020. “Devising The Set Of Abnormalities For A Given Defeasible Rule”. Logicheskie Issledovaniya / Logical Investigations 26: 9–35. https://logicalinvestigations.ru/article/view/557/561?lang=en.

Pages