Pages that link to "Item:Q2748855"
From MaRDI portal
The following pages link to On a Boolean-valued model for modal propositional systems (Q2748855):
Displaying 6 items.
- The Boolean-valued model of the axiom system of GB (Q1177277) (← links)
- The Boolean-valued model of the conglomerate axiom system ACG (Q2705123) (← links)
- Boolean valued models and incomplete specifications (Q3992230) (← links)
- (Q4718919) (← links)
- Theory and Applications of Satisfiability Testing (Q5325853) (← links)
- (Q5593821) (← links)