The following pages link to Marcus Kracht (Q190342):
Displaying 46 items.
- Gnosis (Q543533) (← links)
- An almost general splitting theorem for modal logic (Q809064) (← links)
- Lattices of modal logics and their groups of automorphisms (Q1125058) (← links)
- A solution to a problem of Urquhart (Q1177648) (← links)
- Even more about the lattice of tense logics (Q1204117) (← links)
- (Q1297056) (redirect page) (← links)
- Tools and techniques in modal logic (Q1297057) (← links)
- Gumm's theorem and the structure of minimal algebras (Q1344848) (← links)
- Simulation and transfer results in modal logic -- a survey (Q1372357) (← links)
- On extensions of intermediate logics by strong negation (Q1386683) (← links)
- Constraints on derivations (Q1430206) (← links)
- Referent systems and relational grammar (Q1610624) (← links)
- The combinatorics of cases (Q1768789) (← links)
- Syntactic codes and grammar refinement (Q1903081) (← links)
- Are logical languages compositional? (Q2016061) (← links)
- The grammar of code switching (Q2255235) (← links)
- Partial algebras, meaning categories and algebraization (Q2368946) (← links)
- Semisimple varieties of modal algebras (Q2433105) (← links)
- (Q2762873) (← links)
- Invariant logics (Q2776808) (← links)
- Judgment and consequence relations (Q2901202) (← links)
- (Q3367325) (← links)
- (Q3409073) (← links)
- Properties of independently axiomatizable bimodal logics (Q3984418) (← links)
- (Q3999881) (← links)
- Normal monomodal logics can simulate all others (Q4254623) (← links)
- Prefinitely axiomatizable modal and intermediate logics (Q4304115) (← links)
- Highway to the Danger Zone (Q4323004) (← links)
- (Q4329243) (← links)
- (Q4370234) (← links)
- (Q4370242) (← links)
- (Q4430405) (← links)
- (Q4440543) (← links)
- (Q4443183) (← links)
- Reducing Modal Consequence Relations (Q4529489) (← links)
- (Q4599197) (← links)
- (Q4636048) (← links)
- (Q4833774) (← links)
- (Q4914859) (← links)
- More on the Power of a Constant (Q5027239) (← links)
- Using Each Other’s Words (Q5258976) (← links)
- Splittings and the finite model property (Q5287685) (← links)
- (Q5465444) (← links)
- (Q5688807) (← links)
- (Q5711930) (← links)
- Modal logics that need very large frames (Q5937849) (← links)