state axioms \land
p {\models} goal ?
$$

3.  With first-order successor-state axioms in situation calculus, is it
    possible to prove that a plan containing illegal actions will
    achieve the goal?<br>
</p>
    </div>
</div>
<br>
<div class="card">
    <div class="card-header p-2">
        <a href="#" class="p-2">Community Solution</a>
                <a class="reqcomm" id="reqcommus" href="#">
                <button type="button" class="btn btn-dark float-right" title="Request for Community Solution"