VSL 2014: VIENNA SUMMER OF LOGIC 2014

This page contains an index consisting of author-provided keywords.

A
automated reasoning	Axiomatic and Tableau-Based Reasoning for Kt(H,R)
C
Combination method	Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions
complexity	Axiomatic and Tableau-Based Reasoning for Kt(H,R)
D
decidability	Decidability of Iteration-free PDL with Parallel Composition Axiomatic and Tableau-Based Reasoning for Kt(H,R)
decision procedures	On dual tableau-based decision procedures for relational fragments
E
Empirical investigation	Axiomatic and Tableau-Based Reasoning for Kt(H,R)
Error localization	Finding Minimum Type Error Sources
F
Finite model property	Axiomatic and Tableau-Based Reasoning for Kt(H,R)
G
Guarded fragment	Axiomatic and Tableau-Based Reasoning for Kt(H,R)
H
Hilbert axiomatisation	Axiomatic and Tableau-Based Reasoning for Kt(H,R)
M
Maximum satisfiability modulo theories	Finding Minimum Type Error Sources
modal logic	Axiomatic and Tableau-Based Reasoning for Kt(H,R)
P
Propositional dynamic logic	Decidability of Iteration-free PDL with Parallel Composition
Q
Qualitative reasoning	On dual tableau-based decision procedures for relational fragments
R
Relational dual tableau system	On dual tableau-based decision procedures for relational fragments
Relationship between deduction methods	Axiomatic and Tableau-Based Reasoning for Kt(H,R)
S
Satisfiability problem	Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions
separation logic	Decidability of Iteration-free PDL with Parallel Composition
T
Tableau	Axiomatic and Tableau-Based Reasoning for Kt(H,R)
Type systems	Finding Minimum Type Error Sources
U
Union of non-disjoint theories	Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions

Disclaimer | Powered by EasyChair Smart Program