Ahti-Veikko Pietarinen

Orcid: 0000-0003-4855-8110

According to our database1, Ahti-Veikko Pietarinen authored at least 63 papers between 1999 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Peirce's Extended Euler Diagrams and the System Atl Based on Ladd-Franklin's Exclusion Relations.
Proceedings of the Diagrammatic Representation and Inference, 2024

2021
We don't know we don't know: asserting ignorance.
Synth., 2021

Abduction and diagrams.
Log. J. IGPL, 2021

Beta Assertive Graphs: Proofs of Assertions with Quantification.
FLAP, 2021

Peirce's Diagrammatic Solutions to 'Peirce's Puzzle'.
Proceedings of the Diagrammatic Representation and Inference, 2021

Venn Diagrams with "Most": A Natural Logic Approach.
Proceedings of the Diagrammatic Representation and Inference, 2021

Jin Yuelin's Simplification of Venn Diagrams.
Proceedings of the Diagrammatic Representation and Inference, 2021

Residuation in Existential Graphs.
Proceedings of the Diagrammatic Representation and Inference, 2021

2020
Abductive inference within a pragmatic framework.
Synth., 2020

Peirce's Calculi for Classical Propositional Logic.
Rev. Symb. Log., 2020

Correction to: On the Logical Philosophy of Assertive Graphs.
J. Log. Lang. Inf., 2020

On the Logical Philosophy of Assertive Graphs.
J. Log. Lang. Inf., 2020

The Blot.
Proceedings of the Diagrammatic Representation and Inference, 2020

Two Implications and Dual-Process Theories of Reasoning.
Proceedings of the Diagrammatic Representation and Inference, 2020

Beta Assertive Graphs.
Proceedings of the Diagrammatic Representation and Inference, 2020

2019
To Peirce Hintikka's Thoughts.
Logica Universalis, 2019

Hintikka Memorial Issue: Introduction and Remarks on Jaakko Hintikka's Logical Philosophy.
Logica Universalis, 2019

Interdisciplinary Aspects of Cognition.
Proceedings of the Software Engineering and Formal Methods, 2019

Two Cognitive Systems, Two Implications, and Selection Tasks.
Proceedings of the Software Engineering and Formal Methods, 2019

2018
Gamma graph calculi for modal logics.
Synth., 2018

Let Us Investigate! Dynamic Conjecture-Making as the Formal Logic of Abduction.
J. Philos. Log., 2018

Assertive graphs.
J. Appl. Non Class. Logics, 2018

Conjectures and abductive reasoning in games.
FLAP, 2018

Assertive and Existential Graphs: A Comparison.
Proceedings of the Diagrammatic Representation and Inference, 2018

The Beauty of Graphs.
Proceedings of the Diagrammatic Representation and Inference, 2018

A Weakening of Alpha Graphs: Quasi-Boolean Algebras.
Proceedings of the Diagrammatic Representation and Inference, 2018

2017
Proof Analysis of Peirce's Alpha System of Graphs.
Stud Logica, 2017

Reprint of: Assertion and denial: A contribution from logical notations.
J. Appl. Log., 2017

Assertion and denial: A contribution from logical notations.
J. Appl. Log., 2017

Graphical Sequent Calculi for Modal Logics.
Proceedings of the Ninth Workshop on Methods for Modalities, 2017

Peirce's Sequent Proofs of Distributivity.
Proceedings of the Logic and Its Applications - 7th Indian Conference, 2017

2016
Existential graphs as an Instrument of Logical Analysis: Part I. Alpha.
Rev. Symb. Log., 2016

A Dynamic Approach to Peirce's Interrogative Construal of Abductive Logic.
FLAP, 2016

What Your Computer Still Can't Know: A Refutation of Bringsjord's Refutation of Searle's Refutation of Bostrom and Floridi.
Proceedings of the What Social Robots Can and Should Do, 2016

Extensions of Euler Diagrams in Peirce's Four Manuscripts on Logical Graphs.
Proceedings of the Diagrammatic Representation and Inference, 2016

Negative Terms in Euler Diagrams: Peirce's Solution.
Proceedings of the Diagrammatic Representation and Inference, 2016

2015
Peirce and diagrams: two contributors to an actual discussion review each other.
Synth., 2015

Exploring the beta quadrant.
Synth., 2015

Two papers on existential graphs by Charles Peirce.
Synth., 2015

Editorial Preface.
Synth., 2015

On the Diagrammatic Representation of Existential Statements with Venn Diagrams.
J. Log. Lang. Inf., 2015

2011
Principles and Practices of Neurath's Picture Language.
Proceedings of the Otto Neurath and the Unity of Science, 2011

2010
On the Conceptual Underpinnings of Organizational Semiotics.
Proceedings of the ICISO 2010, 2010

2008
Diagrammatic Logic of Existential Graphs: A Case Study of Commands.
Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008

2006
Peirce's Contributions to Possible-Worlds Semantics.
Stud Logica, 2006

2005
Some Games Logic Plays.
Proceedings of the Logic, Thought and Action, 2005

2004
If Logic, Game-Theoretical Semantics, and the Philosophy of Science.
Proceedings of the Logic, Epistemology, and the Unity of Science, 2004

Semantic Games In Logic and Epistemology.
Proceedings of the Logic, Epistemology, and the Unity of Science, 2004

Multi-agent systems and game theory - A Peircean manifesto.
Int. J. Gen. Syst., 2004

Logic, Neuroscience and Phenomenology in Cahoots?
Proceedings of the WSPI '04 - First International Workshop on Philosophy and Informatics, Proceedings of the First International Workshop on Philosophy and Informatics, Cologne (Germany), March 31, 2004

Extending Defeasible Logic and Defeasible Prolog.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Peirce's Diagrammatic Logic in IF Perspective.
Proceedings of the Diagrammatic Representation and Inference, 2004

2003
What do epistemic logic and cognitive science have to do with each other?
Cogn. Syst. Res., 2003

The Semantic + Pragmatic Web = The Semiotic Web.
Proceedings of the IADIS International Conference WWW/Internet 2003, 2003

2002
Quantum Logic and Quantum Theory in a Game-Theoretic Perspective.
Open Syst. Inf. Dyn., 2002

Games and Logics of Knowledge for Multi-agent Systems.
Proceedings of the MICAI 2002: Advances in Artificial Intelligence, 2002

Knowledge Constructions for Artificial Intelligence.
Proceedings of the Foundations of Intelligent Systems, 13th International Symposium, 2002

Some Useful Social Metaphors in Logic.
Proceedings of the International Conference on Artificial Intelligence, 2002

Awareness in Logic and Cognitive Neuroscience.
Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), 2002

2001
Propositional Logic of Imperfect Information: Foundations and Applications.
Notre Dame J. Formal Log., 2001

Partiality and Games: Propositional Logic.
Log. J. IGPL, 2001

1999
Paradigms for Language Theory and Other Essays, Jaakko Hintikka.
J. Log. Lang. Inf., 1999

Language, Truth and Logic in Mathematics, Jaakko Hintikka.
J. Log. Lang. Inf., 1999


  Loading...