Pages that link to "Item:Q1289105"
From MaRDI portal
The following pages link to Speaking about transitive frames in propositional languages (Q1289105):
Displaying 14 items.
- Amalgamation property for the class of basic algebras and some of its natural subclasses (Q862346) (← links)
- Modal definability in enriched languages (Q918533) (← links)
- On the characterizability of the frames for the ``unpreventability of the present and the past'' (Q1092034) (← links)
- Sequent calculi for Visser's propositional logics (Q1409300) (← links)
- A closer look at some subintuitionistic logics (Q1422101) (← links)
- Correspondences between gentzen and hilbert systems (Q3410681) (← links)
- Alternative Semantics for Visser’s Propositional Logics (Q3455192) (← links)
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES (Q3519801) (← links)
- 1998 European Summer Meeting of the Association for Symbolic Logic (Q4254644) (← links)
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic (Q4586412) (← links)
- (Q4599215) (← links)
- The Expressive Force of Some Fragments of Intuitionistic Propositional Logic with Regard to Kripke Frames (Q4711191) (← links)
- ON EQUATIONAL COMPLETENESS THEOREMS (Q5052010) (← links)
- Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics (Q5213676) (← links)