- On Primitive Ideas of Proposition and Propositional Function2013 | Faculty of Humanities
- Substitutions into propositional tautologies2007 | Faculty of Mathematics and Physics
- An extended propositional logic2015 | Faculty of Arts
- How Russell Did Not Abandon Russelian Propositions +12015 | Faculty of Arts
- Antistructural Completeness in Propositional Logics2017 | Faculty of Arts
- Category of Substance and the Categorical Form of Proposition2008 | Faculty of Arts
- Proof Compexity of Propositional Default Logic2010 | Faculty of Mathematics and Physics
- Propositional density in seniors' responses2014 | Faculty of Arts, Second Faculty of Medicine
- Propositional density in senior's responses2014 | Faculty of Arts, Second Faculty of Medicine
- On Sequent Calculi for Intuitionistic Propositional Logic2006 | Faculty of Arts
- Uniform interpolation and propositional quantifiers in modal logics2007 | Faculty of Arts
- Antistructural completeness in propositional logics2017 | Faculty of Arts
- Propositional Satisfiability Benchmarks Constructed from Multi-Robot Path Planning on Graphs2013 | Faculty of Mathematics and Physics
- INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH2022 | Faculty of Mathematics and Physics
- Short Propositional Refutations for Dense Random 3CNF Formulas2012 | Faculty of Mathematics and Physics
- From Russell's Realism of Propositions to the Theory of Incomplete Symbols2013 | Faculty of Arts
- Simple Direct Propositional Encoding of Cooperative Path Finding Simplified Yet More2014 | Faculty of Mathematics and Physics
- A Simple Approach to Solving Cooperative Path-Finding as Propositional Satisfiability Works Well2014 | Faculty of Mathematics and Physics
- A note on propositional proof complexity of some Ramsey-type statements, Archive for Mathematical Logic2011 | Faculty of Mathematics and Physics
- State and federal government coflict in immigration matters : the case of California and the proposition 187Publication without faculty affiliation
- Lessons Learned from the Effort to Solve Cooperative Path-Finding Optimally: Reductions to Propositional Satisfiability2014 | Faculty of Mathematics and Physics
- Propositional Idioms, In Europhras 20002004 | Faculty of Arts
- Infinitary propositional logics and subdirect representation2017 | Faculty of Arts
- Universal Proposition Bank 2.0Publication without faculty affiliation
- On Propositional Encodings of Cooperative Path-finding2012 | Faculty of Mathematics and Physics
- Meaning and Propositional attitudes1998 | Faculty of Mathematics and Physics
- Meaning and 'propositional attitudes'1998 | Faculty of Arts, Central Library of Charles University
- On the polynomial-space completeness of intuitionistic propositional logic2003 | Faculty of Arts
- A new hierarchy of infinitary propositional logics2016 | Faculty of Arts, Central Library of Charles University