Pages that link to "Item:Q2350968"
From MaRDI portal
The following pages link to Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity (Q2350968):
Displayed 3 items.
The following pages link to Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity (Q2350968):
Displayed 3 items.