| Normative reasoning by sequent-based argumentation |
3 |
| Reasoning with maximal consistency by argumentative approaches |
3 |
| Coalition logic with individual, distributed and common knowledge |
3 |
| Not only size, but also shape counts: abstract argumentation solvers are benchmark-sensitive |
2 |
| On an intuitionistic logic for pragmatics |
2 |
| Logics based on linear orders of contaminating values |
2 |
| Taking the path computably traveled |
2 |
| Satisfiability for relation-changing logics |
2 |
| Modal logics of sabotage revisited |
2 |
| Symbolic model checking for Dynamic Epistemic Logic-S5 and beyond |
2 |
| Fine-tuning natural language imperatives |
1 |
| On the 'transitivity' of consequence relations |
1 |
| The universal homogeneous binary tree |
1 |
| Fuzzy approach to quantum Fredkin gate |
1 |
| Tree-sequent calculi and decision procedures for intuitionistic modal logics |
1 |
| Bisimulations for coalgebras on Stone spaces |
1 |
| From probabilities to categorical beliefs: Going beyond toy models |
1 |
| Hyper Natural Deduction for Godel Logic-A natural deduction system for parallel reasoning |
1 |
| Computing the maximal Boolean complexity of families of Aristotelian diagrams |
1 |
| Structured argumentation with prioritized conditional obligations and permissions |
1 |
| Topological facets of the logic of subset spaces (with emphasis on canonical models) |
1 |
| Reasoning about opinion dynamics in social networks |
1 |
| Prioritized norms in formal argumentation |
1 |
| A temporal dynamic deontic logic |
1 |
| MTL-algebras as rotations of basic hoops |
1 |
| A temporal epistemic logic with a non-rigid set of agents for analyzing the blockchain protocol |
1 |
| The fixed point property and a technique to harness double fixed point combinators |
1 |
| Unified correspondence as a proof-theoretic tool |
1 |
| Navigability with intermediate constraints |
1 |
| The equivalence zoo for Dung-style semantics |
1 |
| Commands changing obligations |
0 |
| Efficient minimal preference change |
0 |
| Proof theory, semantics and algebra for normative systems |
0 |
| Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond |
0 |
| Accumulative knowledge under bounded resources |
0 |
| A temporal argumentation approach to cooperative planning using dialogues |
0 |
| Combining transactions and automatic repairs |
0 |
| Two-stage agent program verification |
0 |
| Formulating semantics of probabilistic argumentation by characterizing subgraphs: theory and empirical results |
0 |
| Learning to act: qualitative learning of deterministic action models |
0 |
| Terminating sequent calculi for two intuitionistic modal logics |
0 |
| On the aggregation of argumentation frameworks: operators and postulates |
0 |
| Proof search in a context-sensitive logic for molecular biology |
0 |
| A labelled sequent calculus for BBI: proof theory and proof search |
0 |
| Backward induction in presence of cycles |
0 |
| Belief base rationalization for propositional merging |
0 |
| On fixpoint logics and equivalences for processes with restricted nondeterminism |
0 |
| Strong jump inversion |
0 |
| A modal separation logic for resource dynamics |
0 |
| Judgment aggregation in dynamic logic of propositional assignments |
0 |
