| Complexity of hybrid logics over transitive frames | 2010/12/01 | English | 2 |
| A family of Gödel hybrid logics | 2010/12/01 | English | 2 |
| Sufficient completeness verification for conditional and constrained TRS | 2012/03/01 | English | 2 |
| Proof theory and mathematical meaning of paraconsistent C-systems | 2011/09/01 | English | 2 |
| Towards a logical belief function theory | 2015/12/01 | English | 2 |
| Information retrieval from hospital information system: Increasing effectivity using swarm intelligence | 2015/06/01 | English | 2 |
| Implementation and testing of a soft computing based model predictive control on an industrial controller | 2015/06/01 | English | 2 |
| Logic programming as classical inference | 2015/09/01 | English | 2 |
| Probabilities on Sentences in an Expressive Logic | 2013/12/01 | English | 2 |
| Prolegomenon to norms in branching space–times | 2011/06/01 | English | 2 |
| Empiricism, probability, and knowledge of arithmetic: A preliminary defense | 2014/09/01 | English | 2 |
| Rewrite rules for CTL* | 2017/05/01 | English | 2 |
| A cirquent calculus system with clustering and ranking | 2016/07/01 | English | 2 |
| A non-commutative generalization of Łukasiewicz rings | 2016/07/01 | English | 2 |
| Epistemology and artificial intelligence | 2004/12/01 | English | 2 |
| Obligation, contracts, and negotiation: Outlining an approach | 2005/09/01 | English | 2 |
| An example of formalizing recent mathematical results in Mizar | 2006/12/01 | English | 2 |
| The computational complexity of scenario-based agent verification and design | 2007/06/01 | English | 2 |
| Norms as ascriptions of violations: An analysis in modal logic | 2011/06/01 | English | 2 |
| Possible primitive notions for geometry of spine spaces | 2010/09/01 | English | 2 |
| Blueprint for a dynamic deontic logic | 2009/12/01 | English | 2 |
| Mathematical foundations of consciousness | 2009/12/01 | English | 2 |
| From reasonable preferences, via argumentation, to logic | 2016/11/01 | English | 1 |
| Fuzzy system for intelligent word recognition using a regular grammar | 2017/11/01 | English | 1 |
| Factored performance functions and decision making in continuous time Bayesian networks | 2017/07/01 | English | 1 |
| Special issue: Combining probability and logic | 2016/03/01 | English | 1 |
| Axiomatizing Lüttgen & Vogler's ready simulation for finite processes in CLL | 2015/12/01 | English | 1 |
| An examination of the SEP candidate analogical inference rule within pure inductive logic | 2016/03/01 | English | 1 |
| Stratification of normative systems with intermediaries | 2011/06/01 | English | 1 |
| Reactive Kripke models and contrary to duty obligations. Part A: Semantics | 2013/03/01 | English | 1 |