The following pages link to Zoran Ognjanović (Q465580):
Displayed 46 items.
- How to Restore Compactness into Probabilistic Logics? (Q3532477) (← links)
- Interpolative Boolean Logic (Q3534662) (← links)
- Qualitative Possibilities and Necessities (Q3638187) (← links)
- Some probability logics with new types of probability operators (Q4242585) (← links)
- (Q4378240) (← links)
- (Q4379585) (← links)
- A probabilistic extension of intuitionistic logic (Q4419271) (← links)
- (Q4451504) (← links)
- (Q4583726) (← links)
- First steps towards probabilistic justification logic (Q4644527) (← links)
- Artificial Intelligence and Soft Computing - ICAISC 2004 (Q4666424) (← links)
- (Q4708432) (← links)
- (Q4784887) (← links)
- (Q4795396) (← links)
- (Q4806141) (← links)
- An intuitionistic logic with probabilistic operators (Q4815848) (← links)
- (Q4924965) (← links)
- (Q4924994) (← links)
- (Q4928167) (← links)
- (Q4929426) (← links)
- Logics for reasoning about degrees of confirmation (Q5019292) (← links)
- Logics with Probability Operators (Q5024712) (← links)
- Probabilistic Modeling of Default Reasoning (Q5024715) (← links)
- Tableau for the logic ILP (Q5056452) (← links)
- Reasoning About Degrees of Confirmation (Q5098743) (← links)
- Probabilistic justification logic (Q5108025) (← links)
- A First-order Logic for Reasoning about Knowledge and Probability (Q5121267) (← links)
- A first-order probabilistic logic with approximate conditional probabilities (Q5172139) (← links)
- A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol (Q5213396) (← links)
- On evaluations of propositional formulas in countable structures (Q5279264) (← links)
- Probabilistic Justification Logic (Q5283426) (← links)
- Probabilistic logics for objects located in space and time (Q5300579) (← links)
- A First-Order Dynamic Probability Logic (Q5326443) (← links)
- Logics in Artificial Intelligence (Q5394127) (← links)
- (Q5396490) (← links)
- A Probabilistic Logic with Polynomial Weight Formulas (Q5445304) (← links)
- Completeness theorem for a logic with imprecise and conditional probabilities (Q5450397) (← links)
- Logics with the Qualitative Probability Operator (Q5460204) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5473754) (← links)
- Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity (Q5477458) (← links)
- A logic of interactive proofs (Q5872872) (← links)
- Reasoning about knowledge and conditional probability (Q6064254) (← links)
- Intuitionistic propositional probability logic (Q6094169) (← links)
- Probability logics for reasoning about quantum observations (Q6113689) (← links)
- (Q6173573) (← links)
- A Probabilistic Temporal Epistemic Logic (Q6368585) (← links)