Tracking and managing deemed abilities

DOI10.1007/S11229-019-02387-3MaRDI QIDQ2695376zbMATH OpenOpenAlexWikidataFDO

Authors Nicolas Troquard

Publication date 31 March 2023

Published in Synthese (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2104.14892

zbMATH Keywords

abilityagencyconfirmationdisconfirmationevidencefalsificationtemporal logic

Mathematics Subject Classification ID

Logic in the philosophy of science (03A10) Temporal logic (03B44) Logic in computer science (03B70) Other applications of logic (03B80) Logic in artificial intelligence (68T27)

Recommendations

• Ability in a Multi-agent Context: A Model in the Situation Calculus
• scientific article; zbMATH DE number 1192312
• scientific article; zbMATH DE number 1499111
• Ability and responsibility in general action logic
• On agents that have the ability to choose

Cites work

• Action theory and social science. Some formal models
• Adding a temporal dimension to a logic system
• Alternating-time temporal logic
• Axioms for tense logic. I: 'Since' and 'until'
• Combining temporal logic systems
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 1414365 (Why is no real title available?)
• On some U,S-tense logics
• On the axiomatisation of Elgesem's logic of agency and ability
• To the memory of Arthur Prior Formal properties of ‘now’

This page was built for publication: Tracking and managing deemed abilities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2695376)