Philip Welch
The undecidability of propositional adaptive logic
2009
Synthese 169/1
The undecidability of propositional adaptive logic
2007
Synthese 158/1
The undecidability of propositional adaptive logic
2009
Synthese 169/1
The undecidability of propositional adaptive logic
2007
Synthese 158/1