Approximating Approximate Reasoning: Fuzzy Sets and the Ershov Hierarchy
|
2021 |
Bazhenov, Nikolay |
Weighted Modal Logic in Epistemic and Deontic Contexts
|
2021 |
Dong, Huimin |
Discrete Linear Temporal Logic with Knowing- Value Operator
|
2021 |
Lin, Kaiyang |
Modelling Accuracy and Trustworthiness of Explaining Agents
|
2021 |
Termine, Alberto |
On Artemov and Protopopescu’s Intuitionistic Epistemic Logic Expanded with Distributed Knowledge
|
2021 |
Su, Youan |
Representation Results for Non-cumulative Logics
|
2021 |
Wen, Xuefeng |
A Unified Approach to Semantic and Soritical Paradoxes
|
2021 |
Bruni, Riccardo |
Voting Theory in the Lean Theorem Prover
|
2021 |
Norman, Wesley H. Holliday. Chase |
On the Finite Model Property of Weak Intuitionistic Tense Logic
|
2021 |
Peng, Yu |
Assertion, Rejection, and Semantic Universals
|
2021 |
Sbardolini, Giorgio |
How Knowledge Triggers Obligation: A Dynamic Logic of Epistemic Conditional Obligation
|
2021 |
Grossi, Davide |
A Logic for Desire Based on Causal Inference
|
2021 |
Xie, Kaibo |
Epistemic Planning with Attention as a Bounded Resource
|
2021 |
Belardinelli, Gaia |
Reasoning in Large Games with Unboundedly Many Players
|
2021 |
Das, Ramit |
Multi-agent Conformant Planning with Distributed Knowledge
|
2021 |
Li, Yanjun |
Crossing Hands in the Russian Cards Problem
|
2021 |
Hagland, Tor |
A Generalization of Ordered-Pair Semantics
|
2021 |
Omori, Hitoshi |
Hypergraphs, Local Reasoning, and Weakly Aggregative Modal Logic
|
2021 |
Ding, Yifeng |
Dynamic Coalition Logic: Granting and Revoking Dictatorial Powers
|
2021 |
Galimullin, Rustam |
Social Bot Detection as a Temporal Logic Model Checking Problem
|
2021 |
Pedersen, Mina Young |