I have two questions to ask: (a) Is there some rule for estimating the number of branches in a Beth tableaux in advance? and (2) is the number of the open branches in a semantic tableau equal to the number of the interpretations that assign to the propositional type a true value? If the answer to (b) is positive, where i can find the proof for it? Thanks in advance(adsbygoogle = window.adsbygoogle || []).push({});

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# A question on Beth's semantic tableaux

Tags:

**Physics Forums | Science Articles, Homework Help, Discussion**