Applying modal logic
From MaRDI portal
Publication:1150593
DOI10.1007/BF00370325zbMath0457.03014MaRDI QIDQ1150593
Publication date: 1980
Published in: Studia Logica (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)
Related Items
A complete logic for reasoning about programs via nonstandard model theory. I ⋮ The logic of deliberate action ⋮ Dual choice and iteration in an abstract algebra of action ⋮ Kripke semantics for knowledge representation logics ⋮ Performability of actions
Cites Work
