Found 47 Documents (Results 1–47)
Hennessy-Milner results for probabilistic PDL. (English) Zbl 07516381
Johann, Patricia (ed.), Proceedings of the 36th conference on mathematical foundations of programming semantics, MFPS XXXVI, virtual conference, June 2–6, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 352, 283-304 (2020).
Divergence measures and approximate algorithms for valuation based systems. (English) Zbl 1512.68368
Medina, Jesús (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Applications. 17th international conference, IPMU 2018, Cádiz, Spain, June 11–15, 2018, Proceedings, Part III. Cham: Springer. Commun. Comput. Inf. Sci. 855, 591-602 (2018).
On probability and logic. (English) Zbl 1448.03015
Corrigendum and addendum to “Universal algebra for general aggregation theory”. (English) Zbl 1319.91068
Lossy inference rules and their bounds: a brief review. (English) Zbl 1376.03022
Koslow, Arnold (ed.) et al., The road to universal logic. Festschrift for 50th birthday of Jean-Yves Béziau. Volume I. Cham: Birkhäuser/Springer (ISBN 978-3-319-10192-7/pbk; 978-3-319-10193-4/ebook). Studies in Universal Logic, 385-407 (2015).
The countable Henkin principle. (English) Zbl 1347.03063
Manzano, María (ed.) et al., The life and work of Leon Henkin. Essays on his contributions. Cham: Birkhäuser/Springer (ISBN 978-3-319-09718-3/pbk; 978-3-319-09719-0/ebook). Studies in Universal Logic, 179-201 (2014).
A survey on temporal logics for specifying and verifying real-time systems. (English) Zbl 1425.68258
Learning and modeling with probabilistic conditional logic. (English) Zbl 1211.68314
DISKI. Dissertationen zur Künstlichen Intelligenz 328. Amsterdam: IOS Press; Heidelberg: Akademische Verlagsgesellschaft Aka (ISBN 978-1-60750-098-8/pbk; 978-3-89838-328-8/pbk). xi, 223 p. (2010).
Reviewer: Alex Nabebin (Moskva)
Asymptotic densities in logic and type theory. (English) Zbl 1142.03008
Reviewer: Branislav Boričić (Beograd)
The Boolean functions computed by random Boolean formulas or how to grow the right function. (English) Zbl 1083.94024
Statistics of intuitionistic versus classical logics. (English) Zbl 1049.03007
Reviewer: Branislav Boričić (Beograd)
An intuitionistic logic with probabilistic operators. (English) Zbl 1048.03020
Reviewer: Alex Nabebin (Moskva)
Probability, possibility, belief: Which and where? (English) Zbl 0924.68183
Gabbay, Dov M. (ed.) et al., Handbook of defeasible reasoning and uncertainty management systems. Vol. 1: Quantified representation of uncertainty and imprecision. Dordrecht: Kluwer Academic Publishers. 1-24 (1998).
Reviewer: M.Mareš (Praha)
Comments on Peter Roeper’s “The link between probability functions and logical consequence”. (English) Zbl 0923.03032
MSC:
03B48
The polynomial time decidability of simulation relations for finite state processes: A HORNSAT based approach. (English) Zbl 0891.68059
Du, Dingzhu (ed.) et al., Satisfiability problem: theory and applications. DIMACS workshop, Piscataway, NJ, USA, March 11-13, 1996. Providence, RI: AMS, American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 35, 603-641 (1997).
A logic for reasoning about probability. (English) Zbl 0863.03008
Herceg, D. (ed.) et al., IX conference on applied mathematics, Budva, Yugoslavia, May 30-June 1, 1994. Proceedings. Novi Sad: University of Novi Sad, 365-369 (1995).
A note on probabilistic validity measure in propositional calculi. (English) Zbl 0841.03021
Reviewer: R.Wallace Garden (Thames)
An exponential lower bound to the size of bounded depth Frege proofs of the pigeonhole principle. (English) Zbl 0843.03032
Reviewer: M.Yasuhara (Princeton)
Implications of implication. (Implikationen der Implikation.) (German) Zbl 0832.03008
Düsseldorf: Math.-Naturwiss. Fak., Univ. Düsseldorf, 62 S. (1994).
Logics and decidability for labelled pre- and partially ordered Kripke structures. (English) Zbl 0814.03023
Reviewer: V.Shekhtman (Moskva)
Real-time logics: Complexity and expressiveness. (English) Zbl 0791.68103
Reviewer: S.Miura (Okazaki / Aichi)
On the expressive power of temporal logic. (English) Zbl 0784.03014
Reviewer: D.Gruska (Bratislava)
On the occurence of null clauses in random instances of Satisfiability. (English) Zbl 0781.68067
Reviewer: J.Franco
Decidability of finite probabilistic propositional dynamic logics. (English) Zbl 0732.03022
Reviewer: N.Curteanu (Iaşi)
Specification & verification of higher order processes. (English) Zbl 0732.03025
Mathematical foundations of computer science, Proc. 15th Symp., MFCS ’90, Banská Bystrica/Czech. 1990, Lect. Notes Comput. Sci. 452, 322-328 (1990).
A thesis for bounded concurrency. (English) Zbl 0755.68049
Mathematical foundations of computer science, Proc. 14th Symp., MFCS ’89, Porąbka-Kozubnik/Pol. 1989, Lect. Notes Comput. Sci. 379, 35-48 (1989).
MSC:
68Q10
A temporal logic approach to specify and to prove properties of finite state concurrent systems. (English) Zbl 0746.68030
CSL ’88, Proc. 2nd Workshop, Duisburg/FRG 1988, Lect. Notes Comput. Sci. 385, 63-79 (1989).
Reviewer: M.Val’ev
A type of propositional logic resulting from Petri nets models. (Romanian. English summary) Zbl 0719.68048
Non-deterministic program schemata and their relation to dynamic logic. (English) Zbl 0704.03011
Mathematical logic and its applications, Proc. Adv. Int. Summer Sch. Conf., Druzhba/Bulg. 1986, 137-147 (1987).
Reviewer: Luboš Brim (Brno)
Some simulation results as to weakly correlated processes. (English) Zbl 0634.60058
Reviewer: J.Sefránek
Probabilistic propositional temporal logics. (English) Zbl 0614.03024
Reviewer: A.Kreczmar
A probabilistic PDL. (English) Zbl 0575.03013
Reviewer: A.Stolboushkin
Weak conditional comparative probability as a formal semantic theory. (English) Zbl 0583.03020
Reviewer: H.E.Kyburg
Reasoning with time and chance. (English) Zbl 0546.03010
Automata, languages and programming, 10th Colloq., Barcelona/Spain 1983, Lect. Notes Comput. Sci. 154, 445-457 (1983).
Reviewer: H.Nishimura
Three semantical interpretations of a statistical theoremhood testing procedure. (English) Zbl 0524.03007
Filter Results by …
Document Type
- Journal Articles (33)
- Collection Articles (12)
- Books (2)
all
top 5
Author
- Kostrzycka, Zofia (2)
- Ognjanović, Zoran (2)
- Rašković, Miodrag D. (2)
- Zaionc, Marek (2)
- Alur, Rajeev (1)
- Antonelli, Melissa (1)
- Battilotti, Giulia (1)
- Boričić, Branislav R. (1)
- Brodsky, Alex (1)
- Burch, Jerry R. (1)
- Calin, Sergiu (1)
- Clarke, Edmund Melson jun. (1)
- Cohen, Joëlle (1)
- Dal Lago, Ugo (1)
- Danelutto, Marco (1)
- Dill, David L. (1)
- Dillon, L. K. (1)
- Fellenberg, Benno (1)
- Fisseler, Jens (1)
- Franco, John V. (1)
- Goldblatt, Robert Ian (1)
- Gu, Tao (1)
- Guelev, Dimitar P. (1)
- Hansen, Michael Reichhardt (1)
- Harel, David (1)
- Hart, Sergiu (1)
- Hawthorne, James (1)
- Henzinger, Thomas A. (1)
- Heusch, Peter (1)
- Hunt, Harry Bowen III (1)
- Hwang, L. J. (1)
- Kelly, Kevin T. (1)
- Konur, Savas (1)
- Koutsoupias, Elias (1)
- Kozen, Dexter C. (1)
- Krajíček, Jan (1)
- Kramosil, Ivan (1)
- Kutty, G. (1)
- Lehmann, Daniel J. (1)
- Lin, Hanti (1)
- Makinson, David Clement (1)
- Makowsky, Johann-Andreas (1)
- Marković, Zoran M. (1)
- Masini, Andrea (1)
- McGee, Vann (1)
- McMillan, Kenneth L. (1)
- Melliar-Smith, P. Michael (1)
- Moral, Serafín (1)
- Morgan, Charles Grady (1)
- Moser, Louise E. (1)
- Nepomniaschy, Valery A. (1)
- Oakley, Tim (1)
- Papadimitriou, Christos Harilaos (1)
- Perrin, Dominique (1)
- Pin, Jean-Eric (1)
- Pippenger, Nicholas J. (1)
- Pistone, Paolo (1)
- Pudlák, Pavel (1)
- Ramakrishna, Y. S. (1)
- Rasga, João (1)
- Röper, Peter (1)
- Rosenkrantz, Daniel J. (1)
- Salomaa, Arto Kustaa (1)
- Sernadas, Amilcar C. (1)
- Sernadas, Cristina S. (1)
- Sharir, Micha (1)
- Shelah, Saharon (1)
- Shilov, Nikolay V. (1)
- Shukla, Sandeep Kumar (1)
- Silva, Alexandra (1)
- Sinachopoulos, Antonia (1)
- Smets, Philippe (1)
- Stearns, Richard Edwin (1)
- van Fraassen, Bas C. (1)
- vom Scheidt, Jürgen (1)
- Woods, Alan Robert (1)
- Zanasi, Fabio (1)
- Zhou, Chaochen (1)
- Zuck, Lenore D. (1)
all
top 5
Serial
- Inf. Comput. (4)
- J. Philos. Log. (3)
- Inf. Process. Lett. (2)
- J. Comput. Syst. Sci. (2)
- Stud. Log. (2)
- Random Struct. Algorithms (2)
- Dialogue (2)
- Discrete Appl. Math. (1)
- Int. J. Theor. Phys. (1)
- Inf. Control (1)
- Kybernetika (1)
- Math. Comput. Simul. (1)
- Publ. Inst. Math., Nouv. Sér. (1)
- Synthese (1)
- Z. Math. Logik Grundlagen Math. (1)
- Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. (1)
- Ann. Pure Appl. Logic (1)
- Bul. Inst. Politeh. Bucur., Ser. Autom. Calc. (1)
- J. Log. Comput. (1)
- Int. J. Found. Comput. Sci. (1)
- J. IGPL (1)
- Port. Math. (N.S.) (1)
- Front. Comput. Sci. (1)
- DISKI (1)