The following pages link to Igor Sedlár (Q777890):
Displaying 37 items.
- Iterative division in the distributive full non-associative Lambek calculus (Q777891) (← links)
- Substructural logics for pooling information (Q1679780) (← links)
- Substructural logics with a reflexive transitive closure modality (Q1685940) (← links)
- Inquisitive propositional dynamic logic (Q2035846) (← links)
- Lambek calculus with conjugates (Q2046872) (← links)
- Correction to: ``Lambek calculus with conjugates'' (Q2046873) (← links)
- Expressivity of some versions of APAL (Q2055759) (← links)
- Situated epistemic updates (Q2148833) (← links)
- Propositional dynamic logic with quantification over regular computation sequences (Q2151417) (← links)
- First degree entailment with group attitudes and information updates (Q2291244) (← links)
- Substructural propositional dynamic logics (Q2303619) (← links)
- Hyperintensional logics for everyone (Q2693110) (← links)
- Relevant epistemic logic with public announcements and common knowledge (Q2695524) (← links)
- Information, Awareness and Substructural Logics (Q2849437) (← links)
- (Q2856087) (← links)
- Epistemic extensions of modal distributive substructural logics (Q2957968) (← links)
- Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic (Q3305620) (← links)
- C. I. Lewis on Possible Worlds (Q3401361) (← links)
- Justifications, Awareness and Epistemic Dynamics (Q3455854) (← links)
- Substructural epistemic logics (Q4586145) (← links)
- (Q4636052) (← links)
- (Q4648957) (← links)
- (Q4918300) (← links)
- (Q4919781) (← links)
- From positive PDL to its non-classical extensions (Q5014054) (← links)
- Incorporating the Relation into the Language? (Q5066092) (← links)
- (Q5104726) (← links)
- (Q5140122) (← links)
- Epistemic extensions of substructural inquisitive logics (Q5163993) (← links)
- (Q5224894) (← links)
- Inter-Model Connectives and Substructural Logics (Q5259665) (← links)
- (Q5354811) (← links)
- (Q5365504) (← links)
- (Q5884975) (← links)
- Relevant epistemic logic with public announcements and common knowledge (Q5885772) (← links)
- Almost APAL (Q6189209) (← links)
- Epistemic Logics of Structured Intensional Groups (Q6199602) (← links)
