Temporal STIT logic and its application to normative reasoning
From MaRDI portal
(Redirected from Publication:4583324)
Recommendations
Cites work
- A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
- A Gabbay-rule free axiomatization of T W validity
- A logic for reasoning about counterfactual emotions
- A logic of intention and attempt
- A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’
- Agency and deontic logic
- Alternative axiomatics and complexity of deliberative STIT theories
- Axioms for deliberative stit
- Branching-time logic with quantification over branches: The point of view of modal logic
- Changing legal systems: legal abrogations and annulments in Defeasible Logic
- Complexity results of STIT fragments
- scientific article; zbMATH DE number 4033710 (Why is no real title available?)
- scientific article; zbMATH DE number 747023 (Why is no real title available?)
- scientific article; zbMATH DE number 1292308 (Why is no real title available?)
- scientific article; zbMATH DE number 1028832 (Why is no real title available?)
- scientific article; zbMATH DE number 2196599 (Why is no real title available?)
- scientific article; zbMATH DE number 3271460 (Why is no real title available?)
- Intention is choice with commitment
- Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991
- Modal logic
- Moral conflicts between groups of agents
- On the formal representation of rights relations. Remarks on the work of Stig Kanger and Lars Lindahl
- Properties of logics of individual and group agency
- Propositional Q-logic
- T W completeness
- The deliberative stit: A study of action, omission, ability, and obligation
- The modal logic of inequality
- Time and modality in the logic of agency
Cited in
(20)- Temporal alethic-deontic logic and semantic tableaux
- Orthogonal frames and indexed relations
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
- A neutral temporal deontic STIT logic
- Cut-free calculi and relational semantics for temporal STIT logics
- Quantified temporal alethic-deontic logic
- A STIT logic for reasoning about social influence
- A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
- scientific article; zbMATH DE number 2097569 (Why is no real title available?)
- Restricted interpolation and lack thereof in stit logic
- scientific article; zbMATH DE number 7307011 (Why is no real title available?)
- Comparing semantics for temporal STIT logic
- Reasoning about conditions in \textsf{STIT} logic
- Stit semantics for epistemic notions based on information disclosure in interactive settings
- A Qualitative Theory of Cognitive Attitudes and their Change
- Bringing de re and de dicto into STIT logic
- Faithful logic embeddings in HOL -- deep and shallow
- Logic of action from the perspective of knowledge representation
- Faithful Logic Embeddings in HOL — Deep and Shallow (Isabelle/HOL dataset)
- Some forms of collectively bringing about or `seeing to it that'
This page was built for publication: Temporal STIT logic and its application to normative reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4583324)
