Ramification and causality in a modal action logic

DOI10.1093/logcom/10.5.625zbMath0966.68196OpenAlexW2136886295MaRDI QIDQ4522330

Alberto Martelli, Camilla B. Schwind, Laura Giordano

Publication date: 19 December 2000

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/10.5.625

zbMATH Keywords

modal languagemodal causality operator

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Related Items

Reasoning about manipulation in multi-agent systems ⋮ Specifying and verifying interaction protocols in a temporal action logic ⋮ Stable Models for Temporal Theories ⋮ Reasoning about actions with \(\mathcal{EL}\) ontologies and temporal answer sets for DLTL ⋮ A semantics for means-end relations ⋮ t-DeLP: an argumentation-based temporal defeasible logic programming framework ⋮ ON FORMALIZING CAUSATION BASED ON CONSTANT CONJUNCTION THEORY ⋮ Conditional logic of actions and causation

This page was built for publication: Ramification and causality in a modal action logic