Yaroslav Petrukhin
Moscow State University
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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.26686/ajl.v18i2.6286
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,489
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

First-Order Logic.Raymond Merrill Smullyan - 1968 - Berlin, Germany: New York [Etc.]Springer-Verlag.
Abolition of the Fregean Axiom.Roman Suszko - 1975 - Lecture Notes in Mathematics 453:169-239.

View all 9 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

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.


Added to PP index

Total views
8 ( #1,010,831 of 2,520,788 )

Recent downloads (6 months)
1 ( #405,623 of 2,520,788 )

How can I increase my downloads?


My notes