Found 29 Documents (Results 1–29)
Quantitative logics for equivalence of effectful programs. (English) Zbl 07515965
König, Barbara (ed.), Proceedings of the 35th conference on the mathematical foundations of programming semantics, MFPS XXXV, London, UK, June 4–7, 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 347, 281-301 (2019).
Truth-preserving operations on sums of Kripke frames. (English) Zbl 1418.03101
Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 541-558 (2018).
Description logics of context. (English) Zbl 1353.68266
Combining and automating classical and non-classical logics in classical higher-order logics. (English) Zbl 1252.03025
Almost all complex quantifiers are simple. (English) Zbl 1286.03117
Ebert, Christian (ed.) et al., The mathematics of language. 10th and 11th biennial conference, MOL 10, Los Angeles, CA, USA, July 28–30, 2007, and MOL 11, Bielefeld, Germany, August 20–21, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-14321-2/pbk). Lecture Notes in Computer Science 6149. Lecture Notes in Artificial Intelligence, 272-280 (2010).
Structuring the universe of universal logic. (English) Zbl 1149.03013
Reviewer: Michel Eytan (Strasbourg)
Minimal models and the complexity of fragments of the logic of proofs. (Russian, English) Zbl 1118.03058
Vestn. Mosk. Univ., Ser. I 2006, No. 1, 52-53 (2006); translation in Mosc. Univ. Math. Bull. 61, No. 1, 32-34 (2006).
Reviewer: V. V. Shegai (Tashkent)
MSC:
03F45
Non-normal modalisation. (English) Zbl 1083.03024
Balbiani, Philippe (ed.) et al., Advances in modal logic. Vol. 4. Selected papers from the 4th conference (AiML 2002), Toulouse, France, October 2002. London: King’s College Publications (ISBN 0-9543006-1-0/pbk; 0-9543006-2-9/hbk). 83-95 (2003).
MSC:
03B45
Convex polyhedra in network optimization problems. (Russian, English) Zbl 1063.94128
Zh. Vychisl. Mat. Mat. Fiz. 42, No. 5, 729-740 (2002); translation in Comput. Math. Math. Phys. 42, No. 5, 699-710 (2002).
Reviewer: Evgenij Nechaev (Moskva)
Temporalizing description logics. (English) Zbl 0994.03026
Gabbay, Dov M. (ed.) et al., Frontiers of combining systems 2. Selected papers from the 2nd international workshop (FroCoS’98), Amsterdam, Netherlands, October 2-4, 1998. Baldock: Research Studies Press. Stud. Log. Comput. 7, 379-401 (2000).
How to augment a formal system with a Boolean algebra component. (English) Zbl 0967.03011
Bibel, Wolfgang (ed.) et al., Automated deduction. A basis for applications. Vol. III: Applications. Dordrecht: Kluwer Academic Publishers; 0-7923-5132-0 (set)). Appl. Log. Ser. 10, 57-75 (1998).
Consistency of natural relations on sets. (English) Zbl 0920.04001
Reviewer: E.Harzheim (Köln)
MSC:
03E20
Two-dimensional temporal logic. (English) Zbl 0957.03027
Larrazabal, J. M. (ed.) et al., Logic colloquium ’96. Proceedings of the colloquium, San Sebastián, Spain, July 9-15, 1996. Berlin: Springer. Lect. Notes Log. 12, 219-236 (1998).
MSC:
03B44
Combining temporal logic systems. (English) Zbl 0857.03008
Reviewer: D.Gruska (Bratislava)
MSC:
03B45
Boolean combinations of monadic formulas. (English) Zbl 0521.03048
MSC:
03G15
Deciding combinations of theories. (English) Zbl 0481.68089
Automated deduction, 6th Conf., New York 1982, Lect. Notes Comput. Sci. 138, 209-222 (1982).
Extensional characterization of index sets. (English) Zbl 0433.03022
MSC:
03D25
Filter Results by …
Document Type
- Journal Articles (21)
- Collection Articles (8)
all
top 5
Author
- Coniglio, Marcelo Esteban (2)
- Finger, Marcelo (2)
- Shostak, Robert E. (2)
- Areces, Carlos (1)
- Arkhangel’skiĭ, Dmitriĭ A. (1)
- Benzmüller, Christoph Ewald (1)
- Bour, Lucien (1)
- Canal, Richard (1)
- Comer, Stephen Daniel (1)
- Fagin, Ronald (1)
- Fajardo, Rogerio A. S. (1)
- Fernández, Víctor L. (1)
- Gabbay, Dov M. (1)
- Gutiérrez-Basulto, Víctor (1)
- Halpern, Joseph Yehuda (1)
- Hay, Louise (1)
- Johnson, Nancy L. (1)
- Klarman, Szymon (1)
- Köhler, Jana (1)
- Koizumi, Hirotaka (1)
- Krupskiĭ, N. V. (1)
- Lamotte, Michel (1)
- Marx, Maarten (1)
- Meenakshi, Shivali (1)
- Megiddo, Nimrod (1)
- Mironov, A. A. (1)
- Ohlbach, Hans Jürgen (1)
- Oppen, Derek C. (1)
- Paterson, Mike S. (1)
- Reynolds, Mark Alexander (1)
- Shapirovsky, Ilya B. (1)
- Strasser, Christian (1)
- Szymanik, Jakub (1)
- Taĭtslin, Mikhail Abramovich (1)
- Tamilmani, J. (1)
- Van De Putte, Frederik (1)
- Vasyukov, Vladimir Leonidovich (1)
- Voigt, Marco (1)
- Voorneveld, Niels F. W. (1)
- Wolter, Frank (1)
- Zakharyaschev, Michael Viktorovich (1)
all
top 5
Serial
- Notre Dame J. Formal Logic (2)
- Log. Univers. (2)
- Zh. Vychisl. Mat. Mat. Fiz. (1)
- Algebra Univers. (1)
- Fuzzy Sets Syst. (1)
- J. Assoc. Comput. Mach. (1)
- RAIRO, Inf. Théor. (1)
- Stud. Log. (1)
- Theor. Comput. Sci. (1)
- Z. Math. Logik Grundlagen Math. (1)
- Inf. Comput. (1)
- J. Autom. Reasoning (1)
- J. Log. Comput. (1)
- Vestn. Mosk. Univ., Ser. I (1)
- J. Anal. (1)
- J. Appl. Non-Class. Log. (1)
- Comb. Probab. Comput. (1)
- Ann. Math. Artif. Intell. (1)
- Log. J. IGPL (1)
