Simplified Tableaux for STIT Imagination Logic.

Grigory K. Olkhovikov Heinrich Wansing

Published in: J. Philos. Log. (2019)

Keyphrases

logical framework
modal logic
coalition logic
multi agent systems
inference rules
belief revision
reasoning tasks
linear logic
classical logic
automated reasoning
decision procedures
sequent calculi
temporal logic
theorem prover
functional dependencies
logic programming
multi agent
relational databases