The Logic of Internal Rational Agent

Australasian Journal of Logic 18 (2) (2021)
  Copy   BIBTEX


In this paper, we introduce a new four-valued logic which may be viewed as a variation on the theme of Kubyshkina and Zaitsev's Logic of Rational Agent textbf{LRA} cite{LRA}. We call our logic $ bf LIRA$. In contrast to textbf{LRA}, it has three designated values instead of one and a different interpretation of truth values, the same as in Zaitsev and Shramko's bi-facial truth logic cite{ZS}. This logic may be useful in a situation when according to an agent's point of view her/his reasoning is rational, while from the external one it might be not the case. One may use textbf{LIRA}, if one wants to reconstruct an agent's way of thinking, compare it with respect to the real state of affairs, and understand why an agent thought in this or that way. Moreover, we discuss Kubyshkina and Zaitsev's necessity and possibility operators for textbf{LRA} definable by means of four-valued Kripke-style semantics and show that, due to two negations of textbf{LRA}, two more possibility operators for textbf{LRA} can be defined. Then we slightly modify all these modalities to be appropriate for $bf LIRA$. Finally, we formalize all the truth-functional $ n $-ary extensions of the negation fragment of $bf LIRA$ as well as their basic modal extension via linear-type natural deduction systems.



    Upload a copy of this work     Papers currently archived: 91,252

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Partial impredicativity in reverse mathematics.Henry Towsner - 2013 - Journal of Symbolic Logic 78 (2):459-488.
Reasoning about Knowledge and Belief: A Syntactical Treatment.Maria Fasli - 2003 - Logic Journal of the IGPL 11 (2):247-284.
Justifications for common knowledge.Samuel Bucheli, Roman Kuznets & Thomas Studer - 2011 - Journal of Applied Non-Classical Logics 21 (1):35-60.
Topological Models of Belief Logics.Christopher Steinsvold - 2007 - Dissertation, Cuny Graduate Center
Who Is a Rational Agent?Aaron Ben-Zeev - 1982 - Canadian Journal of Philosophy 12 (4):647 - 661.
The logic of tasks.Giorgi Japaridze - 2002 - Annals of Pure and Applied Logic 117 (1-3):261-293.


Added to PP

12 (#1,031,844)

6 months
2 (#1,182,310)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Yaroslav Petrukhin
Moscow State University

Citations of this work

No citations found.

Add more citations