| 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 |
| 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 |
| 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 |
| Situated Epistemic Updates
|
2021 |
Sedlar, Igor |
| Completeness Theorems for 3O-Fragment of First-Order Modal Logic
|
2021 |
Wang, Xun |
| 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 |
Tag hinzufügen