27 citations · 39 across the 20 of their papers we have counts for
4 papers · 1 filter
Latent Belief Theory and Belief Dependencies: A Solution to the Recovery Problem in the Belief Set Theories
Ryuta Arisaka
The AGM recovery postulate says: assume a set of propositions X; assume that it is consistent and that it is closed under logical consequences; remove a belief P from the set minim…
On Nested Sequents for Constructive Modal Logics
Lutz Strassburger, Anupam Das, Ryuta Arisaka
We present deductive systems for various modal logics that can be obtained from the constructive variant of the normal modal logic CK by adding combinations of the axioms d, t, b,…
Gradual Classical Logic for Attributed Objects - Extended in Re-Presentation
Ryuta Arisaka
Our understanding about things is conceptual. By stating that we reason about objects, it is in fact not the objects but concepts referring to them that we manipulate. Now, so long…
How do you revise your belief set with %$;@*?
Ryuta Arisaka
In the classic AGM belief revision theory, beliefs are static and do not change their own shape. For instance, if p is accepted by a rational agent, it will remain p to the agent.…