Definition:Model (Boolean Interpretations)/Also denoted as
Jump to navigation
Jump to search
Model: Also denoted as
Often, when the formal semantics of a model is clear to be $\mathrm {BI}$, the formal semantics of boolean interpretations, the subscript is omitted, yielding:
- $v \models \phi$
Sources
- 1996: H. Jerome Keisler and Joel Robbin: Mathematical Logic and Computability ... (previous) ... (next): $\S 1.7$: Tableaus
- 2000: Michael R.A. Huth and Mark D. Ryan: Logic in Computer Science: Modelling and reasoning about systems ... (previous) ... (next): $\S 1.4.1$: The meaning of logical connectives