The following pages link to Zoran Ognjanović (Q465580):
Displayed 50 items.
- Item:Q465580 (redirect page) (← links)
- \(p\)-adic probability logics (Q344035) (← links)
- Hierarchies of probabilistic logics (Q465583) (← links)
- Conditional \(p\)-adic probability logic (Q465585) (← links)
- Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm (Q533178) (← links)
- Digitization of mathematical editions in Serbia (Q626916) (← links)
- Completeness theorem for propositional probabilistic models whose measures have only finite ranges (Q701749) (← links)
- Measures of inconsistency and defaults (Q991003) (← links)
- A tableau-like proof procedure for normal modal logics (Q1329745) (← links)
- Item:Q465580 (redirect page) (← links)
- Some first-order probability logics (Q1583250) (← links)
- A decidable multi-agent logic with iterations of upper and lower probability operators (Q1647486) (← links)
- Justification logic with approximate conditional probabilities (Q1679821) (← links)
- Leibniz, a Sorb (Q1684355) (← links)
- Probabilistic logics with independence and confirmation (Q1685481) (← links)
- Probabilistic reasoning about simply typed lambda terms (Q1709701) (← links)
- Proving properties of the Chord protocol using the ASM formalism (Q1757159) (← links)
- A protocol for provably secure authentication of a tiny entity to a high performance computing one (Q1793779) (← links)
- A propositional probabilistic logic with discrete linear time for reasoning about evidence (Q1928821) (← links)
- Logic and applications -- LAP meeting (Q2037987) (← links)
- Automated non-monotonic reasoning in System \textbf{P} (Q2043430) (← links)
- An epistemic probabilistic logic with conditional probabilities (Q2055800) (← links)
- A logic of interactive proofs (Q2151405) (← links)
- Multi-agent logics for reasoning about higher-order upper and lower probabilities (Q2183579) (← links)
- Towards probabilistic reasoning in type theory -- the intersection type case (Q2206780) (← links)
- Completeness theorems for \(\sigma \)-additive probabilistic semantics (Q2291370) (← links)
- Probabilistic consensus of the blockchain protocol (Q2297801) (← links)
- Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers (Q2350218) (← links)
- A logic with approximate conditional probabilities that can model default reasoning (Q2379314) (← links)
- A first-order logic for reasoning about higher-order upper and lower probabilities (Q2401898) (← links)
- Logics with lower and upper probability operators (Q2411262) (← links)
- A propositional linear time logic with time flow isomorphic to \(\omega^2\) (Q2447179) (← links)
- Probability Logics (Q2832982) (← links)
- A first-order conditional probability logic (Q2903758) (← links)
- A p-adic probability logic (Q2910981) (← links)
- (Q2913981) (← links)
- (Q2913985) (← links)
- A first-order conditional probability logic with iterations (Q2929897) (← links)
- Complex valued probability logics (Q2969177) (← links)
- Probabilistic Approach to Nonmonotonic Consequence Relations (Q3011966) (← links)
- (Q3069416) (← links)
- (Q3105881) (← links)
- (Q3123580) (← links)
- (Q3123584) (← links)
- (Q3369026) (← links)
- (Q3398154) (← links)
- Probabilistic Common Knowledge Among Infinite Number of Agents (Q3451209) (← links)
- (Q3500151) (← links)
- A logic with higher order conditional probabilities (Q3510452) (← links)
- Measure Logic (Q3524924) (← links)