Skip to main navigation
Skip to search
Skip to main content
University of Luebeck Home
English
Deutsch
Home
Research Units
Experts
Publications
Projects
Prizes
Spin-Offs
Media
Activities
Datasets
Search by expertise, name or affiliation
PDT Logic: A Probabilistic Doxastic Temporal Logic about Reasoning about Beliefs in Mulit-agent Systems
Karsten Martiny
Institute of Information Systems
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'PDT Logic: A Probabilistic Doxastic Temporal Logic about Reasoning about Beliefs in Mulit-agent Systems'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Probability Interval
100%
time point η
25%
Estimate Probability
25%
Epistemic Logic
25%
Numerical Value
25%
Respective Probability
25%
Probability Value
25%
Computer Science
Temporal Logic
100%
Multi Agent System
33%
Temporal Evolution
33%
Decision Problem
16%
Probability Value
16%
Numerical Value
16%