Pages that link to "Item:Q2957966"
From MaRDI portal
The following pages link to Algebraic semantics for a modal logic close to S1 (Q2957966):
Displaying 9 items.
- Reasoning about proof and knowledge (Q1625594) (← links)
- Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity (Q2350968) (← links)
- (Q3315477) (← links)
- (Q4636025) (← links)
- (Q4715441) (← links)
- Substituting strict equivalents (Q5213393) (← links)
- Segerberg Squares of Modal Logics and Theories of Relation Algebras (Q5214740) (← links)
- (Q5240591) (← links)
- Some remarks on semantics and expressiveness of the sentential calculus with identity (Q6169324) (← links)