2152 search results - page 16 / 431 » On Automating the Calculus of Relations |
TPHOL
2005
IEEE
14 years 29 days ago
2005
IEEE
KR
2004
Springer
14 years 22 days ago
2004
Springer
LICS
2005
IEEE
14 years 29 days ago
2005
IEEE
We consider unranked trees, that have become an active subject of study recently due to XML applications, and characterize commonly used fragments of firstorder (FO) and monadic ...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
We give a calculus for reasoning about the first-order fragment of classical logic that is adequate for giving the truth conditions of intuitionistic Kripke frames, and outline a...
TIME
2007
IEEE
14 years 1 months ago
2007
IEEE
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...