Journal of Logic Language and Information

Retrieved 06/09/20 03:06
All journals
Overall Word Count:
RankWordCount
0social21
1logic15
2networks11
3revision9
4choice8
5finite8
6b7
7contractions7
8negative7
9pl6

Tallied 20 total abstracts

On Relation Between Linear Temporal Logic and Quantum Finite Automata

  • Author: Error: Author not contained in standard '<author>' tag in feed
  • Publication date: 2020-06-01
Abstract:
Word Count:
RankWordCount
0finite6
Excerpts:
1automata6
Excerpts:
2logic6
Excerpts:
3temporal5
Excerpts:
4quantum5
Excerpts:
5linear4
Excerpts:
6relationship2
Excerpts:
7verification1
Excerpts:
8recognition1
Excerpts:
9formulas1
Excerpts:

Formal Semantics and Applied Mathematics: An Inferential Account

  • Author: Error: Author not contained in standard '<author>' tag in feed
  • Publication date: 2020-06-01
Abstract:
Word Count:
RankWordCount

Residual Contraction

  • Author: Error: Author not contained in standard '<author>' tag in feed
  • Publication date: 2020-06-01
Abstract:
Word Count:
RankWordCount
0contractions7
Excerpts:
1residual5
Excerpts:
2bases2
Excerpts:
3meet2
Excerpts:
4contraction2
Excerpts:
5operators2
Excerpts:
6belief2
Excerpts:
7strict2
Excerpts:
8partial2
Excerpts:
9investigate1
Excerpts:

Confused Terms in Ordinary Language

  • Author: Error: Author not contained in standard '<author>' tag in feed
  • Publication date: 2020-06-01
Abstract:
Word Count:
RankWordCount

Truth Diagrams Versus Extant Notations for Propositional Logic

  • Author: Error: Author not contained in standard '<author>' tag in feed
  • Publication date: 2020-06-01
Abstract:
Word Count:
RankWordCount
0pl6
Excerpts:
1diagrams4
Excerpts:
2representations4
Excerpts:
3truth2
Excerpts:
4tds2
Excerpts:
5existing2
Excerpts:
6representation2
Excerpts:
7notation2
Excerpts:
8tractatus1
Excerpts:
9tables1
Excerpts:

A Revised Projectivity Calculus for Inclusion and Exclusion Reasoning

  • Author: Error: Author not contained in standard '<author>' tag in feed
  • Publication date: 2020-06-01
Abstract:
Word Count:
RankWordCount

Iterated Admissibility Through Forcing in Strategic Belief Models

  • Author: Error: Author not contained in standard '<author>' tag in feed
  • Publication date: 2020-05-29
Abstract:
Word Count:
RankWordCount
0rationality4
Excerpts:
1iterated3
Excerpts:
2types3
Excerpts:
3notion3
Excerpts:
4assumption3
Excerpts:
5epistemic3
Excerpts:
6admissibility3
Excerpts:
7been3
Excerpts:
8type2
Excerpts:
9complete2
Excerpts:

Correction to: On the Logical Philosophy of Assertive Graphs

  • Author: Error: Author not contained in standard '<author>' tag in feed
  • Publication date: 2020-05-16
Abstract:
Word Count:
RankWordCount
0erratum1
Excerpts:
1correct1
Excerpts:
2daniele1
Excerpts:
3chiffi1
Excerpts:
4ahtiveikko1
Excerpts:
5pietarinen1
Excerpts:
6logical1
Excerpts:
7philosophy1
Excerpts:
8assertive1
Excerpts:
9graphs1
Excerpts:

On the Logical Philosophy of Assertive Graphs

  • Author: Error: Author not contained in standard '<author>' tag in feed
  • Publication date: 2020-04-20
Abstract:
Word Count:
RankWordCount
0logic6
Excerpts:
1ags4
Excerpts:
2assertions3
Excerpts:
3clag3
Excerpts:
4classical3
Excerpts:
5their2
Excerpts:
6graphical2
Excerpts:
7both2
Excerpts:
8egs2
Excerpts:
9graphs2
Excerpts:

Editorial Foreword

  • Author: Error: Author not contained in standard '<author>' tag in feed
  • Publication date: 2020-03-01
Abstract:
Word Count:
RankWordCount

Group Conformity in Social Networks

  • Author: Error: Author not contained in standard '<author>' tag in feed
  • Publication date: 2020-03-01
Abstract:
Word Count:
RankWordCount
0model3
Excerpts:
1diffusion2
Excerpts:
2social2
Excerpts:
3agents2
Excerpts:
4conformity2
Excerpts:
5logical2
Excerpts:
6system2
Excerpts:
7article2
Excerpts:
8properties1
Excerpts:
9technical1
Excerpts:

On the Logic of Balance in Social Networks

  • Author: Error: Author not contained in standard '<author>' tag in feed
  • Publication date: 2020-03-01
Abstract:
Word Count:
RankWordCount
0networks11
Excerpts:
1social10
Excerpts:
2negative7
Excerpts:
3relationships6
Excerpts:
4signed5
Excerpts:
5reasoning4
Excerpts:
6positive4
Excerpts:
7odd3
Excerpts:
8balanced3
Excerpts:
9cycles3
Excerpts:

Multi-agent Logics for Reasoning About Higher-Order Upper and Lower Probabilities

  • Author: Error: Author not contained in standard '<author>' tag in feed
  • Publication date: 2020-03-01
Abstract:
Word Count:
RankWordCount
0logics3
Excerpts:
1propositional2
Excerpts:
2present1
Excerpts:
3existing1
Excerpts:
4generalize1
Excerpts:
5introduced1
Excerpts:
6show1
Excerpts:
7furthermore1
Excerpts:
8case1
Excerpts:
9decidability1
Excerpts:

A Closeness- and Priority-Based Logical Study of Social Network Creation

  • Author: Error: Author not contained in standard '<author>' tag in feed
  • Publication date: 2020-03-01
Abstract:
Word Count:
RankWordCount
0social5
Excerpts:
1network4
Excerpts:
2different3
Excerpts:
3properties3
Excerpts:
4model2
Excerpts:
5closeness2
Excerpts:
6updates2
Excerpts:
7discussing2
Excerpts:
8notion2
Excerpts:
9traits2
Excerpts:

A Four-Valued Dynamic Epistemic Logic

  • Author: Error: Author not contained in standard '<author>' tag in feed
  • Publication date: 2020-02-10
Abstract:
Word Count:
RankWordCount
0evidence4
Excerpts:
1epistemic3
Excerpts:
2logic3
Excerpts:
3available3
Excerpts:
4information3
Excerpts:
5only2
Excerpts:
6knowledge2
Excerpts:
7agents2
Excerpts:
8where2
Excerpts:
9hand2
Excerpts:

Natural Density and the Quantifier Most'

  • Author: Error: Author not contained in standard '<author>' tag in feed
  • Publication date: 2020-01-03
Abstract:
Word Count:
RankWordCount
0b7
Excerpts:
1infinite4
Excerpts:
2sentences3
Excerpts:
3sets3
Excerpts:
4semantics3
Excerpts:
5under2
Excerpts:
6density2
Excerpts:
7ii2
Excerpts:
8finite2
Excerpts:
9gt2
Excerpts:

Towards an Algebraic Semantics for Implicatives

  • Author: Error: Author not contained in standard '<author>' tag in feed
  • Publication date: 2019-12-04
Abstract:
Word Count:
RankWordCount
0verbs6
Excerpts:
1implicative5
Excerpts:
2semantics3
Excerpts:
3factor2
Excerpts:
4algebras2
Excerpts:
5twoway2
Excerpts:
6proposed2
Excerpts:
7negation2
Excerpts:
8algebraic1
Excerpts:
9follows1
Excerpts:

A Maximal Exclusion' Approach to Structural Underspecification in Dynamic Syntax

  • Author: Error: Author not contained in standard '<author>' tag in feed
  • Publication date: 2019-12-03
Abstract:
Word Count:
RankWordCount

Choice revision

  • Author: Error: Author not contained in standard '<author>' tag in feed
  • Publication date: 2019-12-01
Abstract:
Word Count:
RankWordCount
0revision9
Excerpts:
1choice6
Excerpts:
2based4
Excerpts:
3construction2
Excerpts:
4language2
Excerpts:
5assuming2
Excerpts:
6postulates2
Excerpts:
7characterized2
Excerpts:
8axiomatically2
Excerpts:
9relation2
Excerpts:

Inductive Reasoning in Social Choice Theory

  • Author: Error: Author not contained in standard '<author>' tag in feed
  • Publication date: 2019-12-01
Abstract:
Word Count:
RankWordCount
0social4
Excerpts:
1procedure3
Excerpts:
2choice2
Excerpts:
3profile2
Excerpts:
4aggregation2
Excerpts:
5each2
Excerpts:
6usual1
Excerpts:
7verified1
Excerpts:
8call1
Excerpts:
9situations1
Excerpts: