- Realizing Public Announcements by Justifications. International Workshop "Logical Models of Reasoning and Computation." Steklov Mathematical Institute, Moscow, Russia. February 11, 2012.
- Modal interpolation via nested sequents. Arbeitstagung Bern-München 2011. Mathematisches Institut, Ludwig-Maximilians-Universität München, Munich, Germany. December 15, 2011.
- Modal Interpolation via Nested Sequents. Workshop on Non-classical logics. IV., Favoritenstraße 9–11, Fakultät für Informatik, Technische Universität Wien, Vienna, Austria. November 25, 2011.
- Logical Omniscience, Public Announcements and Justification Logic. Prague Workshop on Epistemic Logics. Filozofická fakulta, Univerzita Karlova v Praze, Prague, Czech Republic. June 16, 2011.
- Partial Realization in Dynamic Justification Logic. WoLLIC 2011: 18th Workshop on Logic, Language, Information and Computation. David Rittenhouse Laboratory, University of Pennsylvania, Philadelphia, PA, USA. May 18, 2011.
- Constructive Realization of Justification Logics via Nested Sequents. Computational Logic Seminar, Ph.D. Program in Computer Science, CUNY Graduate Center, New York, NY, USA. May 17, 2011.
- On the Way to the Realization of Public Announcement Logic. Steklov Mathematical Institute, Moscow, Russia. January 24,
2011.
- Analytic Proof Systems for Justification Logic: The Road Not to Be Taken. Arbeitstagung Bern-München 2010 Deduktive Aspekte in Beweistheorie und Informatik. Mathematisches Institut,
Ludwig-Maximilians-Universität München, Munich, Germany. December 17,
2010.
- Justifications for Belief Revision. Computer Science Colloquium. CUNY Graduate Center, New York, NY, USA. September 2, 2010.
- A Note on the Abnormality of Realizations of S4LP. PCC'10: Proof, Computation, Complexity. Exakte Wissenschaften, Universität Bern, Bern,
Switzerland. June 19, 2010.
- Cut-Intolerant Realizations: Case Study. Arbeitstagung Bern-München 2009 Deduktive Aspekte in Beweistheorie und Informatik. Mathematisches Institut,
Ludwig-Maximilians-Universität München, Munich, Germany. December 10,
2009.
- A Note on the Use of Sum in the Logic of Proofs. PLS7: Panhellenic Logic Symposium. Conference and Cultural Center of the University of Patras, Rio, Greece. July 18, 2009.
- Logical Omniscience as a Computational Complexity Problem. TARK XII: Theoretical Aspects of Rationality and Knowledge. Graduate School of Business (South Building), Stanford University, Palo Alto, CA, USA. July 8, 2009.
- Logical Omniscience as a Computational Complexity Problem. PALMYR VIII: Paris-Amsterdam-Switzerland Logic Meeting of Young Researchers. St-Ours, Université de Genève, Geneva, Switzerland. May 9, 2009.
- Justification Logic and Its Applications. Arbeitstagung Bern-München 2008: Deduktive Aspekte in Beweistheorie und Informatik. Mathematisches Institut, Ludwig-Maximilians-Universität München, Munich, Germany. December 18, 2008.
- Justifications: Quantitative and Qualitative Analysis. Workshop on Recent Trends in Proof Theory. Exakte Wissenschaften, Universität Bern, Bern, Switzerland. July 11, 2008.
- Complexity through Tableaux in Justification Logic. LC'08: Logic Colloquium. Exakte Wissenschaften, Universität Bern, Bern, Switzerland. July 4, 2008.
- Self-referentiality of Justified Knowledge. CSR'08: Computer Science Symposium in Russia. Moscow Institute of Open Education, Moscow, Russia. June 9, 2008.
- Justification, Complexity, Self-Referentiality. Combinatorics Seminar, Department of Mathematics, University of California, San Diego. Applied Physics & Mathematics Building, Main La Jolla Campus, University of California, San Diego, La Jolla, CA, USA. April 22, 2008.
- Complexity of Justification. Computer Science Colloquium. CUNY Graduate Center, New York, NY, USA. April 3, 2008.
- Proof Identity for Classical Logic: Generalizing to Normality. LFCS'07: Symposium on Logical Foundations of Computer Science. CUNY Graduate Center, New York, NY, USA. June 7, 2007.
- Finite Model Property: Proving Decidability Beyond Modal Logic. Second New York Graduate Student Logic Conference. St. John's University, Manhattan Campus, New York, NY, USA. March 18, 2007.
- Logical Omniscience via Proof Complexity. CSL'06: Computer Science Logic. Hotel Novotel, Szeged, Hungary. September 27, 2006.
- Complexity of Evidence-Based Knowledge. Rationality and Knowledge Workshop, ESSLLI'06: European Summer School in Logic, Language and Information. E.T.S.I. Informática, Campus de Teatinos, Universidad de Málaga, Málaga, Spain. August 8, 2006.
- On Self-Referentiality in Modal Logic. 2005–06 Winter Meeting of the Association for Symbolic Logic. The Hilton New York Hotel, New York, NY, USA. December 28, 2005.
- Making Knowledge Explicit. New York City Logic Conference 2005. CUNY Graduate Center, New York, NY, USA. May 21, 2005.
- Making Proofs Explicit: How Hard That Is, First New York Graduate Student Logic Conference.
St. Francis College, Brooklyn, NY, USA. November 21, 2004. - Making Proofs Explicit: How Hard It Is. New Developments in Logics of Knowledge and Belief Workshop. CUNY Graduate Center, New York, NY, USA. June 12, 2004.
- On Decidability of the Logic of Proofs with Arbitrary Constant Specifications. 2004 Annual Meeting of the Association for Symbolic Logic. Baker Hall, Carnegie Mellon University, Pittsburgh, PA, USA. May 21, 2004.
- On the Complexity of Explicit Modal Logics. CSL'00: Computer Science Logic.
Hotel Aurachhof, Fischbachau, Germany. August 22, 2000.
- Complexity Evaluation for Logic of Proofs LP. XXI Conference of Young Scholars, Faculty of Mechanics and Mathematics, Lomonosov Moscow State University. Main Building, Lomonosov Moscow State University, Moscow, Russia. May 1999.
|
|
