Affiliation:
1. Philosophy College, Nankai University, China
Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Reference26 articles.
1. Tableaux-based decision method for single-agent linear time synchronous temporal epistemic logics with interacting time and knowledge.;Ajspur,2013
2. Modal Logic
3. Optimal tableaux-based decision procedure for testing satisfiability in the alternating-time temporal logic ATL$^+$.;Cerrito,2014