The following pages link to Probability logic for type spaces (Q5938620):
Displaying 50 items.
- A metrized duality theorem for Markov processes (Q283765) (← links)
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- The logic of risky knowledge, reprised (Q432960) (← links)
- Approximating Markov processes through filtration (Q442296) (← links)
- Conditional belief types (Q485774) (← links)
- Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces (Q516317) (← links)
- Presenting functors on many-sorted varieties and applications (Q618170) (← links)
- Coalgebraic semantics of modal logics: an overview (Q639647) (← links)
- Probabilistic unawareness (Q725064) (← links)
- Philippe Mongin 1950--2020 (Q826604) (← links)
- Common knowledge of payoff uncertainty in games (Q934775) (← links)
- Inconsistency as qualified truth: a probability logic approach (Q962927) (← links)
- The premiss-based approach to judgment aggregation (Q969119) (← links)
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems (Q1711885) (← links)
- An infinitary probability logic for type spaces (Q1932650) (← links)
- The doctrinal paradox, the discursive dilemma, and logical aggregation theory (Q1934272) (← links)
- Probability logic of finitely additive beliefs (Q1959219) (← links)
- Philippe Mongin (1950-2020) (Q2021540) (← links)
- Formalisation of Bayesian concealment (Q2044153) (← links)
- A probabilistic semantics for belief logic (Q2075282) (← links)
- Knowledge, awareness and probabilistic beliefs (Q2099076) (← links)
- Common belief in rationality in psychological games. Belief-dependent utility and the limits of strategic reasoning (Q2138377) (← links)
- Multi-agent logics for reasoning about higher-order upper and lower probabilities (Q2183579) (← links)
- The non-existence of a universal topological type space (Q2267528) (← links)
- Completeness theorems for \(\sigma \)-additive probabilistic semantics (Q2291370) (← links)
- Formalisation of probabilistic concealment (Q2318502) (← links)
- Subjective reasoning -- dynamic games (Q2387313) (← links)
- Logics with lower and upper probability operators (Q2411262) (← links)
- On Hurwicz-Nash equilibria of non-Bayesian games under incomplete information (Q2416665) (← links)
- Rational belief hierarchies (Q2444694) (← links)
- Substantive assumptions in interaction: a logical perspective (Q2446049) (← links)
- Modular construction of complete coalgebraic logics (Q2464936) (← links)
- Expressivity of coalgebraic modal logic: the limits and beyond (Q2474056) (← links)
- Universal knowledge-belief structures (Q2482921) (← links)
- Finitely additive beliefs and universal type spaces (Q2493183) (← links)
- A finite model construction for coalgebraic modal logic (Q2643335) (← links)
- An infinitary propositional probability logic (Q2700825) (← links)
- Equational Coalgebraic Logic (Q2805164) (← links)
- Reasoning with Global Assumptions in Arithmetic Modal Logics (Q2947894) (← links)
- Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra (Q3005988) (← links)
- Intuitive Probability Logic (Q3010405) (← links)
- Modular Markovian Logic (Q3012934) (← links)
- (Q3384059) (← links)
- (Q3384075) (← links)
- The Countable Henkin Principle (Q3454812) (← links)
- How to Restore Compactness into Probabilistic Logics? (Q3532477) (← links)
- Coalgebraic Hybrid Logic (Q3617726) (← links)
- (Q4558788) (← links)
- CoLoSS: The Coalgebraic Logic Satisfiability Solver (Q4982113) (← links)
- Logics with Probability Operators (Q5024712) (← links)
