Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear tim
Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledge
Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge
Tableau-based decision procedures for logics of strategic ability in multi-agent systems
Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic
Taming Modal Impredicativity: Superlazy Reduction
Tarmo: A Framework for Parallelized Bounded Model Checking
Team-building with Answer Set Programming in the Gioia-Tauro Seaport
Temporal logic with predicate abstraction
Temporal Logics on Words with Multiple Data Values
Temporal Phylogenetic Networks and Logic Programming
Temporal Probabilistic Logic Programs: State and Revision
Temporal Runtime Verification using Monadic Difference Logic
Temporalized logics and automata for time granularity
Term Graph Rewriting and Parallel Term Rewriting
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
Termination Analysis of General Logic Programs for Moded Queries: A Dynamic Approach
Termination and Confluence of Higher-Order Rewrite Systems
Termination in a Pi-calculus with Subtyping
Termination of lambda-calculus with the extra Call-By-Value rule known as assoc