conftrace_

modal operator

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

belief base (1) cognitive attitude (1) agent reasoning (1) intuitionistic tense logic (1) implicative semilattice (1) finite model property (1) algebraic proof theory (1) modal logic (1) automata theory (1) model checking (1)

Papers

A Computationally Grounded Framework for Cognitive Attitudes AAAI 2025 On the Decidability of Intuitionistic Tense Logic without Disjunction IJCAI 2020