Publication:4349287
From MaRDI portal
zbMath0878.03003MaRDI QIDQ4349287
Publication date: 11 December 1997
03B45: Modal logic (including the logic of norms)
03A05: Philosophical and critical aspects of logic and foundations
03D15: Complexity of computation (including implicit computational complexity)
Related Items
Moment/history duality in Prior's logics of branching-time, Guards, bounds, and generalized semantics, DECIDABILITY, UNDECIDABILITY, AND GÖDEL'S INCOMPLETENESS IN RELATIVITY THEORIES