Bringing it about

DOI10.1007/BF00262940zbMath0696.03005OpenAlexW1978342051MaRDI QIDQ910393

Krister Segerberg

Publication date: 1989

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00262940

zbMATH Keywords

modal logicsemanticsaction logicextension of propositional dynamic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65) Logic in computer science (03B70)

Related Items (11)

A dynamic logic of action ⋮ A formal characterisation of Hamblin's action-state semantics ⋮ COMPLIANCE AND COMMAND I—CATEGORICAL IMPERATIVES ⋮ On bringing it about ⋮ A logic of intention and attempt ⋮ On the logic of cooperation and propositional control ⋮ Action incompleteness ⋮ On the Reconciliation of Logics of Agency and Logics of Event Types ⋮ Actions, Belief Update, and DDL ⋮ A modal action logic based framework for organization specification and analysis ⋮ On the axiomatisation of Elgesem's logic of agency and ability

This page was built for publication: Bringing it about