• Člověk jako normativní tvor
  řešitel: J. Peregrin
  GAČR P401/10/0146
  2010-2012
  
• Temporální aspekty znalostí a informací
  řešitel: P. Materna
  GAČR P401/10/0792
  2010-2012
  
• Základy současné logické analýzy
  řešitel: V. Svoboda
  GAČR P401/10/1279
  2010-2012
  
•  Logické modely usuzovaní s vágními informacemi
  spoluřešitel: O. Majer
  GAČR - ESF program EUROCORES ICC/08/E018
  ESF, Modelling Intelligent Interaction - Logic in the Humanities, Social and Computational Sciences (LogICCC)
  2008-2011 
  
• Dynamické formální systémy 
  řešitel: O. Majer
  GAAV IAA900090703
  2007-2010

O. Majer a M. Peliš se podílejí na řešení grantu Formální a historický přístup k epistemologii (řešitel: T. Childers, GAČR P401/10/1504)