- O primitivních idejích výroku a výrokové funkce2013 | Fakulta humanitních studií
- Substituce do výrokových tautologií2007 | Matematicko-fyzikální fakulta
- An extended propositional logic2015 | Filozofická fakulta
- How Russell Did Not Abandon Russelian Propositions +12015 | Filozofická fakulta
- Antistructural Completeness in Propositional Logics2017 | Filozofická fakulta
- Kategorie substance a kategorická forma soudu2008 | Filozofická fakulta
- Důkazová složitost propoziční implicitní logiky2010 | Matematicko-fyzikální fakulta
- Propoziční hustota ve výpovědích seniorů +12014 | Filozofická fakulta, 2. lékařská fakulta
- O sekventových kalkulech pro intuicionistickou výrokovou logiku2006 | Filozofická fakulta
- Uniformní interpolace a výrokové kvantifikátory v modální logice2007 | Filozofická fakulta
- Antistructural completeness in propositional logics2017 | Filozofická fakulta
- Propositional Satisfiability Benchmarks Constructed from Multi-Robot Path Planning on Graphs2013 | Matematicko-fyzikální fakulta
- INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH2022 | Matematicko-fyzikální fakulta
- Short Propositional Refutations for Dense Random 3CNF Formulas2012 | Matematicko-fyzikální fakulta
- Russell od realismu propozic k teorii neúplného symbolu2013 | Filozofická fakulta
- Simple Direct Propositional Encoding of Cooperative Path Finding Simplified Yet More2014 | Matematicko-fyzikální fakulta
- A Simple Approach to Solving Cooperative Path-Finding as Propositional Satisfiability Works Well2014 | Matematicko-fyzikální fakulta
- A note on propositional proof complexity of some Ramsey-type statements, Archive for Mathematical Logic2011 | Matematicko-fyzikální fakulta
- Konflikt státu s federální vládou v imigračních záležitostech : případ Kalifornie a navrhu cislo 187Publikace bez příslušnosti k fakultě
- Lessons Learned from the Effort to Solve Cooperative Path-Finding Optimally: Reductions to Propositional Satisfiability2014 | Matematicko-fyzikální fakulta
- Propositional Idioms, In Europhras 20002004 | Filozofická fakulta
- Infinitary propositional logics and subdirect representation2017 | Filozofická fakulta
- Universal Proposition Bank 2.0Publikace bez příslušnosti k fakultě
- On Propositional Encodings of Cooperative Path-finding2012 | Matematicko-fyzikální fakulta
- Meaning and Propositional attitudes1998 | Matematicko-fyzikální fakulta
- Meaning and 'propositional attitudes'1998 | Filozofická fakulta, Ústřední knihovna
- On the polynomial-space completeness of intuitionistic propositional logic2003 | Filozofická fakulta
- A new hierarchy of infinitary propositional logics2016 | Filozofická fakulta, Ústřední knihovna