61 search results - page 1 / 13 » Tableau Methods for PA-Processes |
TABLEAUX
1997
Springer
13 years 9 months ago
1997
Springer
Abstract. PA (Process algebra) is the name that has become common use to denote the algebra with a sequential and parallel operator (without communication), plus recursion. PA-proc...
CADE
1992
Springer
13 years 9 months ago
1992
Springer
Tableau
LOGCOM
2010
13 years 3 months ago
2010
The logic of proofs (LP) was proposed as Gödel’s missed link between Intuitionistic and S4-proofs, but so far the tableau-based methods proposed for LPhave not explored this cl...
JOLLI
2002
13 years 5 months ago
2002
A concept language with role intersection and number restriction is defined and its modal equivalent is provided. The main reasoning tasks of satisfiability and subsumption checkin...
TABLEAUX
2009
Springer
13 years 12 months ago
2009
Springer
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...