A topological logic of action

DOI10.1007/BF00370511zbMath0595.03002MaRDI QIDQ1077395

Krister Segerberg

Publication date: 1984

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

formula-making term operatorlogic of human actionquantifier-free language

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (3)

Reasoning about actions and obligations in first-order logic ⋮ Evaluating practical reasoning ⋮ Getting started: Beginnings in the logic of action

Cites Work

• The logic of deliberate action
• A logical analysis of some value concepts
• Unnamed Item

This page was built for publication: A topological logic of action