The following pages link to Krister Segerberg (Q190285):
Displaying 50 items.
- D{\(\Delta\)}L: a dynamic deontic logic (Q375303) (← links)
- Notes on conditional logic (Q582275) (← links)
- Epistemic considerations in game theory (Q599694) (← links)
- A modal logic of metaphor (Q647413) (← links)
- A deontic logic of action (Q792312) (← links)
- Blueprint for a dynamic deontic logic (Q846521) (← links)
- Dynamic doxastic logic: why, how, and where to? (Q885520) (← links)
- Bringing it about (Q910393) (← links)
- Validity and satisfaction in imperative logic (Q923063) (← links)
- A topological logic of action (Q1077395) (← links)
- Modal logics with functional alternative relations (Q1094406) (← links)
- Talking about actions (Q1115852) (← links)
- Applying modal logic (Q1150593) (← links)
- The logic of deliberate action (Q1165837) (← links)
- Getting started: Beginnings in the logic of action (Q1207426) (← links)
- Action incompleteness (Q1207435) (← links)
- Discrete linear future time without axioms (Q1232279) (← links)
- Modal logics with the MacIntosh rule (Q1316410) (← links)
- A model existence theorem in infinitary propositional modal logic (Q1332142) (← links)
- Default logic as dynamic doxastic logic (Q1583790) (← links)
- Modal logics in the vicinity of S1 (Q1924324) (← links)
- A festival of facts (Q2725736) (← links)
- Real Change, Deontic Action (Q2902949) (← links)
- (Q3337453) (← links)
- ARBITRARY TRUTH-VALUE FUNCTIONS AND NATURAL DEDUCTION (Q3342528) (← links)
- (Q3480017) (← links)
- SOME COMPLETENESS THEOREMS IN THE DYNAMIC DOXASTIC LOGIC OF ITERATED BELIEF REVISION (Q3577742) (← links)
- (Q3677739) (← links)
- (Q3712306) (← links)
- (Q3734375) (← links)
- (Q3888789) (← links)
- (Q3942936) (← links)
- (Q3952081) (← links)
- (Q4038403) (← links)
- Post Completeness and Ultrafilters (Q4052078) (← links)
- (Q4053613) (← links)
- (Q4068699) (← links)
- (Q4079583) (← links)
- (Q4081212) (← links)
- The truth about some Post numbers (Q4097255) (← links)
- (Q4218024) (← links)
- (Q4225111) (← links)
- (Q4268413) (← links)
- (Q4325785) (← links)
- (Q4329229) (← links)
- (Q4342093) (← links)
- Three recipes for revision (Q4378053) (← links)
- (Q4379676) (← links)
- (Q4430409) (← links)
- (Q4535116) (← links)