A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4 (Q3406694)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4 |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4 |
scientific article |
Statements
A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4 (English)
0 references
19 February 2010
0 references
modal logic
0 references
sequent calculus
0 references
termination
0 references
backward proof search
0 references
loop check
0 references
decision procedure
0 references
0.9353031
0 references
0.8650741
0 references
0.86064065
0 references
0.8574954
0 references
0 references
0.84339076
0 references
0.8429762
0 references
