Skip to content
conftrace_

finite model property

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

intuitionistic tense logic (1) implicative semilattice (1) algebraic proof theory (1) multi-agent system (1) modal operator (1) common knowledge (1) agent logic (1) epistemic logic (1) modal logic (1) knowledge representation (1)

Papers

Common Knowledge of Abstract Groups AAAI 2023 On the Decidability of Intuitionistic Tense Logic without Disjunction IJCAI 2020