The following pages link to Sonja Smets (Q266638):
Displaying 50 items.
- Logics of informational interactions (Q266639) (← links)
- The dynamic turn in quantum logic (Q383006) (← links)
- The logic of justified belief, explicit knowledge, and conclusive evidence (Q392273) (← links)
- PLQP \& Company: decidable logics for quantum algorithms (Q472733) (← links)
- Quantum logic as a dynamic logic (Q542128) (← links)
- Correlated knowledge: an epistemic-logic view on quantum entanglement (Q616826) (← links)
- A logical analysis of quantum voting protocols (Q682659) (← links)
- A logical analysis of the interplay between social influence and friendship selection (Q777883) (← links)
- (Q861648) (redirect page) (← links)
- Complete axiomatizations for quantum actions (Q861649) (← links)
- A dynamic-logical perspective on quantum behavior (Q941738) (← links)
- Probabilistic dynamic belief revision (Q1024132) (← links)
- Keep `hoping' for rationality: a solution to the backward induction paradox (Q1036069) (← links)
- A quantum structure description of the liar paradox (Q1585838) (← links)
- A logical description for perfect measurements (Q1586452) (← links)
- How to make friends: a logical approach to social group creation (Q1679775) (← links)
- Modeling correlated information change: from conditional beliefs to quantum conditionals (Q1701692) (← links)
- The creation and change of social networks: a logical study based on group size (Q1742629) (← links)
- Keep changing your beliefs, aiming for the truth (Q1758553) (← links)
- The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes (Q1768730) (← links)
- Beliefs based on evidence and argumentation (Q1799292) (← links)
- The effort of reasoning: modelling the inference steps of boundedly rational agents (Q1799294) (← links)
- The liar-paradox in a quantum mechanical perspective (Q1974255) (← links)
- Dynamic epistemic logics of diffusion and prediction in social networks (Q2001364) (← links)
- Truth-tracking by belief revision (Q2009768) (← links)
- Thinking about causation: a causal language with epistemic operators (Q2055747) (← links)
- Causal agency and responsibility: a refinement of STIT logic (Q2086538) (← links)
- Social bot detection as a temporal logic model checking problem (Q2148829) (← links)
- Non-strict interventionism: the case of right-nested counterfactuals (Q2155208) (← links)
- A closeness- and priority-based logical study of social network creation (Q2183577) (← links)
- A complete axiomatisation for the logic of lattice effect algebras (Q2239398) (← links)
- The topology of full and weak belief (Q2284496) (← links)
- Analyzing echo chambers: a logic of strong and weak ties (Q2291236) (← links)
- Bipolar argumentation frameworks, modal logic and semantic paradoxes (Q2291239) (← links)
- A logical and empirical study of right-nested counterfactuals (Q2291243) (← links)
- A topological approach to full belief (Q2421518) (← links)
- A logical study of group-size based social network creation (Q2423774) (← links)
- Justified Belief and the Topology of Evidence (Q2820686) (← links)
- Correlated Information: A Logic for Multi-Partite Quantum Systems (Q2825361) (← links)
- Quantum Probabilistic Dyadic Second-Order Logic (Q2849423) (← links)
- (Q2851835) (← links)
- The Topology of Belief, Belief Revision and Defeasible Knowledge (Q2859091) (← links)
- The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge (Q2915025) (← links)
- (Q2939505) (← links)
- (Q2939553) (← links)
- (Q2939556) (← links)
- A Qualitative Theory of Dynamic Interactive Belief Revision (Q2971702) (← links)
- (Q3384088) (← links)
- In defense of operational quantum logic (Q3592789) (← links)
- The modes of physical properties in the logical foundations of physics (Q3592808) (← links)
