• Man as a normative creature 
  Principal investigator: J. Peregrin
  GAČR P401/10/0146
  2010-2012
  
• Temporal aspects of knowledge and information
  Principal investigator: P. Materna
  GAČR P401/10/0792
  2010-2012
  
• Foundations of contemporary logical analysis
  Principal investigator: V. Svoboda
  GAČR P401/10/1279
  2010-2012
  
•  Logical models of reasoning with vague information
  Co-investigator: O. Majer
  GAČR - ESF - EUROCORES ICC/08/E018
  ESF, Modelling Intelligent Interaction - Logic in the Humanities, Social and Computational Sciences (LogICCC)
  2008-2011 
  
• Dynamic Formal Systems 
  Principal investigator: O. Majer
  GAAV IAA900090703
  2007-2010

O. Majer and M. Peliš take part in grant Formal and Historical Approaches to Epistemology (Principal investigator: T. Childers, GAČR P401/10/1504)