Comparison of theorem provers for modal logics - Introduction and summary

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1397 LNAI, Issue , 1998, Pages 25-26

  Balsiger, Peter ^a   Heuerding, Alain ^a  

^a UNIVERSITY OF BERN   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; FORMAL LOGIC;

AUTOMATED THEOREM PROVER; COUNTER-MODELS; MODAL LOGIC; THEOREM PROVERS; USER FRIENDLINESS;

THEOREM PROVING;

EID: 84886286667     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-69778-0_4     Document Type: Conference Paper

References (0)