Subjects: agent implementation; BDI logic; sequent calculus
Record details
Subjects: modal logic; logic of knowledge; sequent calculus
Subjects: modal logic; sequent calculus; decidable calculus
Subjects: sequent calculus; multi-modal logic KD45n; efficient loop-check
Subjects: propositional logic; sequent calculus; Brodsky’s coding method
Subjects: temporal logic of knowledge; theorem proving; sequent calculus
Subjects: sequent calculus; loop-check; temporal logics
Subjects: sequent calculus; common knowledge logic; termination
Subjects: modal logic; sequent calculus; termination
Subjects: decision procedure; sequent calculus; loop-check