The following pages link to (Q5666510):
Displaying 20 items.
- Informational semantics, non-deterministic matrices and feasible deduction (Q281148) (← links)
- Norm-based mechanism design (Q322076) (← links)
- The logic of empirical theories revisited (Q383008) (← links)
- Semantics and proof-theory of depth bounded Boolean logics (Q385021) (← links)
- Courcelle's theorem -- a game-theoretic approach (Q408375) (← links)
- Practical algorithms for MSO model-checking on tree-decomposable graphs (Q473216) (← links)
- Information closure and the sceptical objection (Q484948) (← links)
- E-type interpretation without E-type pronoun: how Peirce's graphs capture the uniqueness implication of donkey pronouns in discourse anaphora (Q513921) (← links)
- What languages have Tarski truth definitions? (Q598271) (← links)
- Information, possible worlds and the cooptation of scepticism (Q625697) (← links)
- The Rényi-Ulam games and many-valued logics (Q679806) (← links)
- A positive information logic for inferential information (Q833030) (← links)
- The enduring scandal of deduction. Is propositional logic really uninformative? (Q833033) (← links)
- Logical information and epistemic space (Q833035) (← links)
- An informational view of classical logic (Q897935) (← links)
- An \(n\)-player semantic game for an \(n+1\)-valued logic (Q1005944) (← links)
- Dialogue games for many-valued logics -- an overview (Q1005947) (← links)
- Verisimilitude and belief change for conjunctive theories (Q1758548) (← links)
- Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking (Q2225595) (← links)
- Alternating-time temporal logic ATL with finitely bounded semantics (Q2334601) (← links)