scholarly journals Modal Tableau Systems with Blocking and Congruence Closure

2015 ◽  
pp. 38-53 ◽  
Author(s):  
Renate A. Schmidt ◽  
Uwe Waldmann
Keyword(s):  
Tableau Systems ◽  
Congruence Closure

Labelled Tableau Systems for Some Subintuitionistic Logics

2018 ◽  
Vol 13 (2) ◽  
pp. 273-288 ◽  
Author(s):  
Minghui Ma
Keyword(s):  
Tableau Systems

scholarly journals Proof-Producing Congruence Closure

2005 ◽  
pp. 453-468 ◽  
Author(s):  
Robert Nieuwenhuis ◽  
Albert Oliveras
Keyword(s):  
Congruence Closure

On the relationship of congruence closure

1990 ◽  
pp. 23-41 ◽  
Author(s):  
Paris C. Kanellakis ◽  
Peter Z. Revesz
Keyword(s):  
Congruence Closure ◽  
Relationship Of ◽  
The Relationship

scholarly journals Pure Modal Logic of Names and Tableau Systems

Studia Logica ◽  
2018 ◽  
Vol 106 (6) ◽  
pp. 1261-1289
Author(s):  
Andrzej Pietruszczak ◽  
Tomasz Jarmużek
Keyword(s):  
Modal Logic ◽  
Tableau Systems

Terminating Tableau Systems for Hybrid Logic with Difference and Converse

2009 ◽  
Vol 18 (4) ◽  
pp. 437-464 ◽  
Author(s):  
Mark Kaminski ◽  
Gert Smolka
Keyword(s):  
Hybrid Logic ◽  
Tableau Systems

scholarly journals Fast congruence closure and extensions

2007 ◽  
Vol 205 (4) ◽  
pp. 557-580 ◽  
Author(s):  
Robert Nieuwenhuis ◽  
Albert Oliveras
Keyword(s):  
Congruence Closure
Sign in / Sign up

Export Citation Format

Share Document