A History Based Logic for Dynamic Preference Updates
 Author: Error: Author not contained in standard '<author>' tag in feed
 Publication date: 20200901
Abstract:
History based models suggest a processbased approach to epistemic and temporal reasoning. In this work, we introduce preferences to history based models. Motivated by game theoretical observations, we discuss how preferences can dynamically be updated in history based models. Following, we consider arrow update logic and event calculus, and give history based models for these logics. This allows us to relate dynamic logics of history based models to a broader framework. Word Count:
Rank  Word  Count 
0  history  5 
Excerpts:
... history based models suggest a processbased approach to ...
...in this work we introduce preferences to history based models motivated by game theoretical observations ...
...how preferences can dynamically be updated in history based models following we consider arrow update ...
...update logic and event calculus and give history based models for these logics this allows ...
...allows us to relate dynamic logics of history based models to a broader framework ...

1  based  5 
Excerpts:
... history based models suggest a processbased approach to epistemic ...
...this work we introduce preferences to history based models motivated by game theoretical observations we ...
...preferences can dynamically be updated in history based models following we consider arrow update logic ...
...logic and event calculus and give history based models for these logics this allows us ...
...us to relate dynamic logics of history based models to a broader framework ...

2  models  5 
Excerpts:
... history based models suggest a processbased approach to epistemic and ...
...work we introduce preferences to history based models motivated by game theoretical observations we discuss ...
...can dynamically be updated in history based models following we consider arrow update logic and ...
...and event calculus and give history based models for these logics this allows us to ...
...to relate dynamic logics of history based models to a broader framework ...

3  logics  2 
Excerpts:
...and give history based models for these logics this allows us to relate dynamic logics ...
...logics this allows us to relate dynamic logics of history based models to a broader ...

4  preferences  2 
Excerpts:
...temporal reasoning in this work we introduce preferences to history based models motivated by game ...
...by game theoretical observations we discuss how preferences can dynamically be updated in history based ...

5  broader  1 
Excerpts:
...logics of history based models to a broader framework ...

6  dynamic  1 
Excerpts:
...these logics this allows us to relate dynamic logics of history based models to a ...

7  relate  1 
Excerpts:
...for these logics this allows us to relate dynamic logics of history based models to ...

8  allows  1 
Excerpts:
...history based models for these logics this allows us to relate dynamic logics of history ...

9  following  1 
Excerpts:
...dynamically be updated in history based models following we consider arrow update logic and event ...

A Note on the Issue of Cohesiveness in Canonical Models
 Author: Error: Author not contained in standard '<author>' tag in feed
 Publication date: 20200901
Abstract:
In their presentation of canonical models for normal systems of modal logic, Hughes and Cresswell observe that some of these models are based on a frame which can be also thought of as a collection of two or more isolated frames; they call such frames noncohesive'. The problem of checking whether the canonical model of a given system is cohesive is still rather unexplored and no general decision procedure is available. The main contribution of this article consists in introducing a method which is sufficient to show that canonical models of some relevant classes of normal monomodal and bimodal systems are always noncohesive.
Word Count:
The Class of All Natural Implicative Expansions of Kleene's Strong Logic Functionally Equivalent to Łkasiewicz's 3Valued Logic Ł3
 Author: Error: Author not contained in standard '<author>' tag in feed
 Publication date: 20200901
Abstract:
We consider the logics determined by the set of all natural implicative expansions of Kleene's strong 3valued matrix (with both only one and two designated values) and select the class of all logics functionally equivalent to Łukasiewicz's 3valued logic Ł3. The concept of a natural implicative matrix' is based upon the notion of a natural conditional' defined in Tomova (Rep Math Log 47:173182, 2012). Word Count:
The Thin Red Line, Molinism, and the Flow of Time
 Author: Error: Author not contained in standard '<author>' tag in feed
 Publication date: 20200901
Abstract:
In addressing the problem of the (in)compatibility of divine foreknowledge and human freedom, philosophers of religion encounter problems regarding the metaphysics and structure of time. Some models of temporal logic developed for completely independent reasons have proved especially appropriate for representing the temporal structure of the world as Molinism conceives it. In particular, some models of the Thin Red Line (
\(\mathsf {TRL}\)
) seem to imply that conditionals of freedom are true or false, as Molinists maintain. Noting the resemblance between Molinism and
\(\mathsf {TRL}\)
models, Restall (Molinism and the thin red line. In: Perszyk K (ed) Molinism: the contemporary debate, pp 227239, 2011) has advanced some criticisms of Molinism that have also been leveled against
\(\mathsf {TRL}\)
models. In particular, Restall believes that the implication
\(p \rightarrow \mathbf {HF}p\)
is not true in
\(\mathsf {TRL}\)
models. Because Molinists must also accept that this implication is not true, this is a problem for them. We will show that Restall's criticism is wide of the mark. Firstly, it will be demonstrated that in many open future models (not just
\(\mathsf {TRL}\)
) the implication
\(p \rightarrow \mathbf {HF}p\)
is invalid. Secondly, while it is possible to account for this implication, some modifications are required in respect of the branching time semantics. In proposing one such modification, we show that this new semantics can be adopted by advocates of the
\(\mathsf {TRL}\)
and, as a consequence, by Molinists as well. We conclude that the principle stated by Restall is either a problem for many open future models (not just for Molinists) or can be accounted for by these models and so is not a problem for Molinists either. Word Count:
Underspecification, Parsing Mismatches and Routinisation: The Historical Development of the Clitic Systems of Greek Dialects
 Author: Error: Author not contained in standard '<author>' tag in feed
 Publication date: 20200820
Abstract:
In this paper, the historical development of the clitic systems of Standard Modern, Cypriot and Pontic Greek is discussed. These three varieties not only present the whole range of variation one can find across clitic systems in Greek but, furthermore, derive from a common linguistic ancestor, i.e. Koine Greek. This paper argues that the transition from Koine Greek to the Medieval varieties and from the Medieval varieties to the respective modern ones can be explained by making the assumption that routinisation (in the sense of Pickering and Garrod in Behav Brain Sci 27:169226, 2004) and parsing/hearer assymetries are two important factors behind syntactic change. The claim is that the transition from Koine to the Medieval Greek varieties involves the emergence of a clitic system with encoded syntactic constraints out of a freer one, where clitic positioning was regulated by pragmatic preferences rather than syntactic constraints. Then, the transition to the modern varieties from the respective medieval ones is explained, at least partly, on the assumption that production/parsing mismatches are capable of triggering syntactic change. This last assumption combined with: (a) the tendency to obtain more generalised parsing triggers for parsing the individual clitics and (b) the fact that the Medieval varieties in question differ in minimal but crucial ways, provides us an explanation for the transition to the modern varieties. Word Count:
On Relation Between Linear Temporal Logic and Quantum Finite Automata
 Author: Error: Author not contained in standard '<author>' tag in feed
 Publication date: 20200601
Abstract:
Linear temporal logic is a widely used method for verification of model checking and expressing the system specifications. The relationship between theory of automata and logic had a great influence in the computer science. Investigation of the relationship between quantum finite automata and linear temporal logic is a natural goal. In this paper, we present a construction of quantum finite automata on finite words from lineartime temporal logic formulas. Further, the relation between quantum finite automata and linear temporal logic is explored in terms of language recognition and acceptance probability. We have shown that the class of languages accepted by quantum finite automata are definable in linear temporal logic, except for measureonce oneway quantum finite automata. Word Count:
Rank  Word  Count 
0  finite  6 
Excerpts:
...science investigation of the relationship between quantum finite automata and linear temporal logic is a ...
...paper we present a construction of quantum finite automata on finite words from lineartime temporal ...
...a construction of quantum finite automata on finite words from lineartime temporal logic formulas further ...
...logic formulas further the relation between quantum finite automata and linear temporal logic is explored ...
...the class of languages accepted by quantum finite automata are definable in linear temporal logic ...
...temporal logic except for measureonce oneway quantum finite automata ...

1  automata  6 
Excerpts:
...system specifications the relationship between theory of automata and logic had a great influence in ...
...investigation of the relationship between quantum finite automata and linear temporal logic is a natural ...
...we present a construction of quantum finite automata on finite words from lineartime temporal logic ...
...formulas further the relation between quantum finite automata and linear temporal logic is explored in ...
...class of languages accepted by quantum finite automata are definable in linear temporal logic except ...
...logic except for measureonce oneway quantum finite automata ...

2  logic  6 
Excerpts:
... linear temporal logic is a widely used method for verification ...
...the relationship between theory of automata and logic had a great influence in the computer ...
...between quantum finite automata and linear temporal logic is a natural goal in this paper ...
...automata on finite words from lineartime temporal logic formulas further the relation between quantum finite ...
...between quantum finite automata and linear temporal logic is explored in terms of language recognition ...
...finite automata are definable in linear temporal logic except for measureonce oneway quantum finite automata ...

3  temporal  5 
Excerpts:
... linear temporal logic is a widely used method for ...
...relationship between quantum finite automata and linear temporal logic is a natural goal in this ...
...finite automata on finite words from lineartime temporal logic formulas further the relation between quantum ...
...relation between quantum finite automata and linear temporal logic is explored in terms of language ...
...quantum finite automata are definable in linear temporal logic except for measureonce oneway quantum finite ...

4  quantum  5 
Excerpts:
...computer science investigation of the relationship between quantum finite automata and linear temporal logic is ...
...this paper we present a construction of quantum finite automata on finite words from lineartime ...
...temporal logic formulas further the relation between quantum finite automata and linear temporal logic is ...
...that the class of languages accepted by quantum finite automata are definable in linear temporal ...
...linear temporal logic except for measureonce oneway quantum finite automata ...

5  linear  4 
Excerpts:
... linear temporal logic is a widely used method ...
...the relationship between quantum finite automata and linear temporal logic is a natural goal in ...
...the relation between quantum finite automata and linear temporal logic is explored in terms of ...
...by quantum finite automata are definable in linear temporal logic except for measureonce oneway quantum ...

6  relationship  2 
Excerpts:
...checking and expressing the system specifications the relationship between theory of automata and logic had ...
...in the computer science investigation of the relationship between quantum finite automata and linear temporal ...

7  verification  1 
Excerpts:
...logic is a widely used method for verification of model checking and expressing the system ...

8  recognition  1 
Excerpts:
...logic is explored in terms of language recognition and acceptance probability we have shown that ...

9  formulas  1 
Excerpts:
...on finite words from lineartime temporal logic formulas further the relation between quantum finite automata ...

Formal Semantics and Applied Mathematics: An Inferential Account
 Author: Error: Author not contained in standard '<author>' tag in feed
 Publication date: 20200601
Abstract:
In this paper, I utilise the growing literature on scientific modelling to investigate the nature of formal semantics from the perspective of the philosophy of science. Specifically, I incorporate the inferential framework proposed by Bueno and Colyvan (Nous 45(2): 345374, 2011) in the philosophy of applied mathematics to offer an account of how formal semantics explains and models its data. This view produces a picture of formal semantic models as involving an embedded process of inference and representation applying indirectly to linguistic phenomena. The final aim of the paper is directed at proposing a novel account of the syntaxsemantics interface while shedding light on empty categories, semantically null forms, underspecified content and compositionality as a whole. Word Count:
Residual Contraction
 Author: Error: Author not contained in standard '<author>' tag in feed
 Publication date: 20200601
Abstract:
In this paper, we propose and axiomatically characterize residual contractions, a new kind of contraction operators for belief bases. We establish that the class of partial meet contractions is a strict subclass of the class of residual contractions. We identify an extra condition that may be added to the definition of residual contractions, which is such that the class of residual contractions that satisfy it coincides with the class of partial meet contractions. We investigate the interrelations in the sense of (strict) inclusion among the class of residual contractions and other classes of well known contraction operators for belief bases. Word Count:
Rank  Word  Count 
0  contractions  7 
Excerpts:
...paper we propose and axiomatically characterize residual contractions a new kind of contraction operators for ...
...establish that the class of partial meet contractions is a strict subclass of the class ...
...strict subclass of the class of residual contractions we identify an extra condition that may ...
...be added to the definition of residual contractions which is such that the class of ...
...is such that the class of residual contractions that satisfy it coincides with the class ...
...coincides with the class of partial meet contractions we investigate the interrelations in the sense ...
...strict inclusion among the class of residual contractions and other classes of well known contraction ...

1  residual  5 
Excerpts:
...this paper we propose and axiomatically characterize residual contractions a new kind of contraction operators ...
...a strict subclass of the class of residual contractions we identify an extra condition that ...
...may be added to the definition of residual contractions which is such that the class ...
...which is such that the class of residual contractions that satisfy it coincides with the ...
...of strict inclusion among the class of residual contractions and other classes of well known ...

2  bases  2 
Excerpts:
...new kind of contraction operators for belief bases we establish that the class of partial ...
...of well known contraction operators for belief bases ...

3  meet  2 
Excerpts:
...we establish that the class of partial meet contractions is a strict subclass of the ...
...it coincides with the class of partial meet contractions we investigate the interrelations in the ...

4  contraction  2 
Excerpts:
...characterize residual contractions a new kind of contraction operators for belief bases we establish that ...
...contractions and other classes of well known contraction operators for belief bases ...

5  operators  2 
Excerpts:
...residual contractions a new kind of contraction operators for belief bases we establish that the ...
...and other classes of well known contraction operators for belief bases ...

6  belief  2 
Excerpts:
...a new kind of contraction operators for belief bases we establish that the class of ...
...classes of well known contraction operators for belief bases ...

7  strict  2 
Excerpts:
...class of partial meet contractions is a strict subclass of the class of residual contractions ...
...investigate the interrelations in the sense of strict inclusion among the class of residual contractions ...

8  partial  2 
Excerpts:
...bases we establish that the class of partial meet contractions is a strict subclass of ...
...satisfy it coincides with the class of partial meet contractions we investigate the interrelations in ...

9  investigate  1 
Excerpts:
...the class of partial meet contractions we investigate the interrelations in the sense of strict ...

Confused Terms in Ordinary Language
 Author: Error: Author not contained in standard '<author>' tag in feed
 Publication date: 20200601
Abstract:
Confused terms appear to signify more than one entity. Carnap (Meaning and necessity, University of Chicago Press, Chicago, 1956) maintained that any putative name that is associated with more than one object in a relevant universe of discourse fails to be a genuine name. Although many philosophers have agreed with Carnap, they have not always agreed among themselves about the truthvalues of atomic sentences containing such terms. Some hold that such atomic sentences are always false, and others claim they are always truthvalueless. Field (J Philos 70:462481, 1973) maintained that confused terms can still refer, albeit partially, and offered a supervaluational account of their semantic properties on which some atomic sentences with confused terms can be true. After outlining many of the most important theoretical considerations for and against various semantic theories for such terms, we report the results of a study designed to investigate which of these accounts best accords with the truthvalue judgments of ordinary language users about sentences containing these terms. We found that naïve participants view confused names as capable of successfully referring to one or more objects. Thus, semantic theories that judge them to involve total reference failure do not comport well with patterns of ordinary usage. Word Count:
Truth Diagrams Versus Extant Notations for Propositional Logic
 Author: Error: Author not contained in standard '<author>' tag in feed
 Publication date: 20200601
Abstract:
Truth diagrams (TDs) are introduced as a novel graphical representation for propositional logic (PL). To demonstrate their epistemic efficacy a set of 28 concepts are proposed that any comprehensive representation for PL should encompass. TDs address all the criteria whereas seven other existing representations for PL only provide partial coverage. These existing representations are: the linear formula notation, truth tables, a PL specific interpretation of Venn Diagrams, Frege's conceptual notation, diagrams from Wittgenstein's Tractatus, Pierce's alpha graphs and Gardner's shuttle diagrams. The comparison of the representations succeeds in distinguishing ideas that are fundamental to PL from features of common PL representations that are somewhat arbitrary. Word Count:
Rank  Word  Count 
0  pl  6 
Excerpts:
...a novel graphical representation for propositional logic pl to demonstrate their epistemic efficacy a set ...
...are proposed that any comprehensive representation for pl should encompass tds address all the criteria ...
...criteria whereas seven other existing representations for pl only provide partial coverage these existing representations ...
...the linear formula notation truth tables a pl specific interpretation of venn diagrams freges conceptual ...
...in distinguishing ideas that are fundamental to pl from features of common pl representations that ...
...fundamental to pl from features of common pl representations that are somewhat arbitrary ...

1  diagrams  4 
Excerpts:
... truth diagrams tds are introduced as a novel graphical ...
...tables a pl specific interpretation of venn diagrams freges conceptual notation diagrams from wittgensteins tractatus ...
...interpretation of venn diagrams freges conceptual notation diagrams from wittgensteins tractatus pierces alpha graphs and ...
...tractatus pierces alpha graphs and gardners shuttle diagrams the comparison of the representations succeeds in ...

2  representations  4 
Excerpts:
...all the criteria whereas seven other existing representations for pl only provide partial coverage these ...
...pl only provide partial coverage these existing representations are the linear formula notation truth tables ...
...gardners shuttle diagrams the comparison of the representations succeeds in distinguishing ideas that are fundamental ...
...to pl from features of common pl representations that are somewhat arbitrary ...

3  truth  2 
Excerpts:
... truth diagrams tds are introduced as a novel ...
...existing representations are the linear formula notation truth tables a pl specific interpretation of venn ...

4  tds  2 
Excerpts:
... truth diagrams tds are introduced as a novel graphical representation ...
...any comprehensive representation for pl should encompass tds address all the criteria whereas seven other ...

5  existing  2 
Excerpts:
...address all the criteria whereas seven other existing representations for pl only provide partial coverage ...
...for pl only provide partial coverage these existing representations are the linear formula notation truth ...

6  representation  2 
Excerpts:
...tds are introduced as a novel graphical representation for propositional logic pl to demonstrate their ...
...28 concepts are proposed that any comprehensive representation for pl should encompass tds address all ...

7  notation  2 
Excerpts:
...these existing representations are the linear formula notation truth tables a pl specific interpretation of ...
...specific interpretation of venn diagrams freges conceptual notation diagrams from wittgensteins tractatus pierces alpha graphs ...

8  tractatus  1 
Excerpts:
...diagrams freges conceptual notation diagrams from wittgensteins tractatus pierces alpha graphs and gardners shuttle diagrams ...

9  tables  1 
Excerpts:
...representations are the linear formula notation truth tables a pl specific interpretation of venn diagrams ...

A Revised Projectivity Calculus for Inclusion and Exclusion Reasoning
 Author: Error: Author not contained in standard '<author>' tag in feed
 Publication date: 20200601
Abstract:
We present a Revised Projectivity Calculus (denoted RC) that extends the scope of inclusion and exclusion inferences derivable under the Projectivity Calculus (denoted C) developed by Icard (Stud Log 100(4):705725, 2012). After pointing out the inadequacies of C, we introduce four opposition properties (OPs) which have been studied by Chow (in: Aloni et al (eds) Proceedings of the 18th Amsterdam Colloquium, Springer, Berlin, 2012; Beziau, Georgiorgakis (eds) New dimensions of the square of opposition, Philosophia Verlag GmbH, München, 2017) and are more appropriate for the study of exclusion reasoning. Together with the monotonicity properties (MPs), the OPs will form the basis of RC instead of the additive/multiplicative properties used in C. We also prove some important results of the OPs and their relation with the MPs. We then introduce a set of projectivity signatures together with the associated operations and conditions for valid inferences, and develop RC by inheriting the key features of C. We then show that under RC, we can derive some inferences that are not derivable under C. We finally discuss some properties of RC and point to possible directions of further studies. Word Count:
Iterated Admissibility Through Forcing in Strategic Belief Models
 Author: Error: Author not contained in standard '<author>' tag in feed
 Publication date: 20200529
Abstract:
Iterated admissibility embodies a minimal criterion of rationality in interactions. The epistemic characterization of this solution has been actively investigated in recent times: it has been shown that strategies surviving \(m+1\) rounds of iterated admissibility may be identified as those that are obtained under a condition called rationality and m assumption of rationality in complete lexicographic type structures. On the other hand, it has been shown that its limit condition, with an infinity assumption of rationality (\(R\infty AR\)), might not be satisfied by any state in the epistemic structure, if the class of types is complete and the types are continuous. In this paper we analyze the problem in a different framework. We redefine the notion of type as well as the epistemic notion of assumption. These new definitions are sufficient for the characterization of iterated admissibility as the class of strategies that indeed satisfy \(R\infty AR\). One of the key methodological innovations in our approach involves defining a new notion of generic types and employing these in conjunction with Cohen's technique of forcing. Word Count:
Rank  Word  Count 
0  rationality  4 
Excerpts:
...iterated admissibility embodies a minimal criterion of rationality in interactions the epistemic characterization of this ...
...that are obtained under a condition called rationality and m assumption of rationality in complete ...
...condition called rationality and m assumption of rationality in complete lexicographic type structures on the ...
...limit condition with an infinity assumption of rationality rinfty ar might not be satisfied by ...

1  iterated  3 
Excerpts:
... iterated admissibility embodies a minimal criterion of rationality ...
...shown that strategies surviving m+1 rounds of iterated admissibility may be identified as those that ...
...definitions are sufficient for the characterization of iterated admissibility as the class of strategies that ...

2  types  3 
Excerpts:
...the epistemic structure if the class of types is complete and the types are continuous ...
...class of types is complete and the types are continuous in this paper we analyze ...
...involves defining a new notion of generic types and employing these in conjunction with cohens ...

3  notion  3 
Excerpts:
...in a different framework we redefine the notion of type as well as the epistemic ...
...of type as well as the epistemic notion of assumption these new definitions are sufficient ...
...in our approach involves defining a new notion of generic types and employing these in ...

4  assumption  3 
Excerpts:
...under a condition called rationality and m assumption of rationality in complete lexicographic type structures ...
...that its limit condition with an infinity assumption of rationality rinfty ar might not be ...
...as well as the epistemic notion of assumption these new definitions are sufficient for the ...

5  epistemic  3 
Excerpts:
...minimal criterion of rationality in interactions the epistemic characterization of this solution has been actively ...
...be satisfied by any state in the epistemic structure if the class of types is ...
...notion of type as well as the epistemic notion of assumption these new definitions are ...

6  admissibility  3 
Excerpts:
... iterated admissibility embodies a minimal criterion of rationality in ...
...that strategies surviving m+1 rounds of iterated admissibility may be identified as those that are ...
...are sufficient for the characterization of iterated admissibility as the class of strategies that indeed ...

7  been  3 
Excerpts:
...the epistemic characterization of this solution has been actively investigated in recent times it has ...
...actively investigated in recent times it has been shown that strategies surviving m+1 rounds of ...
...structures on the other hand it has been shown that its limit condition with an ...

8  type  2 
Excerpts:
...m assumption of rationality in complete lexicographic type structures on the other hand it has ...
...different framework we redefine the notion of type as well as the epistemic notion of ...

9  complete  2 
Excerpts:
...rationality and m assumption of rationality in complete lexicographic type structures on the other hand ...
...structure if the class of types is complete and the types are continuous in this ...

Correction to: On the Logical Philosophy of Assertive Graphs
 Author: Error: Author not contained in standard '<author>' tag in feed
 Publication date: 20200516
Abstract:
This erratum is to correct in the paper of Daniele Chiffi and AhtiVeikko Pietarinen, On the Logical Philosophy of Assertive Graphs. Word Count:
Rank  Word  Count 
0  erratum  1 
Excerpts:
... this erratum is to correct in the paper of ...

1  correct  1 
Excerpts:
... this erratum is to correct in the paper of daniele chiffi and ...

2  daniele  1 
Excerpts:
...is to correct in the paper of daniele chiffi and ahtiveikko pietarinen on the logical ...

3  chiffi  1 
Excerpts:
...to correct in the paper of daniele chiffi and ahtiveikko pietarinen on the logical philosophy ...

4  ahtiveikko  1 
Excerpts:
...in the paper of daniele chiffi and ahtiveikko pietarinen on the logical philosophy of assertive ...

5  pietarinen  1 
Excerpts:
...the paper of daniele chiffi and ahtiveikko pietarinen on the logical philosophy of assertive graphs ...

6  logical  1 
Excerpts:
...daniele chiffi and ahtiveikko pietarinen on the logical philosophy of assertive graphs ...

7  philosophy  1 
Excerpts:
...chiffi and ahtiveikko pietarinen on the logical philosophy of assertive graphs ...

8  assertive  1 
Excerpts:
...ahtiveikko pietarinen on the logical philosophy of assertive graphs ...

9  graphs  1 
Excerpts:
...pietarinen on the logical philosophy of assertive graphs ...

On the Logical Philosophy of Assertive Graphs
 Author: Error: Author not contained in standard '<author>' tag in feed
 Publication date: 20200420
Abstract:
The logic of assertive graphs (AGs) is a modification of Peirce's logic of existential graphs (EGs), which is intuitionistic and which takes assertions as its explicit object of study. In this paper we extend AGs into a classical graphical logic of assertions (ClAG) whose internal logic is classical. The characteristic feature is that both AGs and ClAG retain deepinference rules of transformation. Unlike classical EGs, both AGs and ClAG can do so without explicitly introducing polarities of areas in their language. We then compare advantages of these two graphical approaches to the logic of assertions with a reference to a number of topics in philosophy of logic and to their deepinferential nature of proofs. Word Count:
Rank  Word  Count 
0  logic  6 
Excerpts:
... the logic of assertive graphs ags is a modification ...
...graphs ags is a modification of peirces logic of existential graphs egs which is intuitionistic ...
...we extend ags into a classical graphical logic of assertions clag whose internal logic is ...
...graphical logic of assertions clag whose internal logic is classical the characteristic feature is that ...
...of these two graphical approaches to the logic of assertions with a reference to a ...
...a number of topics in philosophy of logic and to their deepinferential nature of proofs ...

1  ags  4 
Excerpts:
... the logic of assertive graphs ags is a modification of peirces logic of ...
...of study in this paper we extend ags into a classical graphical logic of assertions ...
...classical the characteristic feature is that both ags and clag retain deepinference rules of transformation ...
...rules of transformation unlike classical egs both ags and clag can do so without explicitly ...

2  assertions  3 
Excerpts:
...egs which is intuitionistic and which takes assertions as its explicit object of study in ...
...ags into a classical graphical logic of assertions clag whose internal logic is classical the ...
...two graphical approaches to the logic of assertions with a reference to a number of ...

3  clag  3 
Excerpts:
...into a classical graphical logic of assertions clag whose internal logic is classical the characteristic ...
...characteristic feature is that both ags and clag retain deepinference rules of transformation unlike classical ...
...transformation unlike classical egs both ags and clag can do so without explicitly introducing polarities ...

4  classical  3 
Excerpts:
...this paper we extend ags into a classical graphical logic of assertions clag whose internal ...
...of assertions clag whose internal logic is classical the characteristic feature is that both ags ...
...clag retain deepinference rules of transformation unlike classical egs both ags and clag can do ...

5  their  2 
Excerpts:
...without explicitly introducing polarities of areas in their language we then compare advantages of these ...
...topics in philosophy of logic and to their deepinferential nature of proofs ...

6  graphical  2 
Excerpts:
...paper we extend ags into a classical graphical logic of assertions clag whose internal logic ...
...we then compare advantages of these two graphical approaches to the logic of assertions with ...

7  both  2 
Excerpts:
...is classical the characteristic feature is that both ags and clag retain deepinference rules of ...
...deepinference rules of transformation unlike classical egs both ags and clag can do so without ...

8  egs  2 
Excerpts:
...modification of peirces logic of existential graphs egs which is intuitionistic and which takes assertions ...
...retain deepinference rules of transformation unlike classical egs both ags and clag can do so ...

9  graphs  2 
Excerpts:
... the logic of assertive graphs ags is a modification of peirces logic ...
...a modification of peirces logic of existential graphs egs which is intuitionistic and which takes ...

Editorial Foreword
 Author: Error: Author not contained in standard '<author>' tag in feed
 Publication date: 20200301
Abstract:
Word Count:
Group Conformity in Social Networks
 Author: Error: Author not contained in standard '<author>' tag in feed
 Publication date: 20200301
Abstract:
Diffusion in social networks is a result of agents' natural desires to conform to the behavioral patterns of their peers. In this article we show that the recently proposed propositional opinion diffusion model' could be used to model an agent's conformity to different social groups that the same agent might belong to, rather than conformity to the society as whole. The main technical contribution of this article is a sound and complete logical system describing the properties of the influence relation in this model. The logical system is an extension of Armstrong's axioms from database theory by one new axiom that captures the topological structure of the network. Word Count:
Rank  Word  Count 
0  model  3 
Excerpts:
...that the recently proposed propositional opinion diffusion model could be used to model an agents ...
...opinion diffusion model could be used to model an agents conformity to different social groups ...
...properties of the influence relation in this model the logical system is an extension of ...

1  diffusion  2 
Excerpts:
... diffusion in social networks is a result of ...
...show that the recently proposed propositional opinion diffusion model could be used to model an ...

2  social  2 
Excerpts:
... diffusion in social networks is a result of agents natural ...
...to model an agents conformity to different social groups that the same agent might belong ...

3  agents  2 
Excerpts:
...in social networks is a result of agents natural desires to conform to the behavioral ...
...model could be used to model an agents conformity to different social groups that the ...

4  conformity  2 
Excerpts:
...could be used to model an agents conformity to different social groups that the same ...
...same agent might belong to rather than conformity to the society as whole the main ...

5  logical  2 
Excerpts:
...this article is a sound and complete logical system describing the properties of the influence ...
...the influence relation in this model the logical system is an extension of armstrongs axioms ...

6  system  2 
Excerpts:
...article is a sound and complete logical system describing the properties of the influence relation ...
...influence relation in this model the logical system is an extension of armstrongs axioms from ...

7  article  2 
Excerpts:
...behavioral patterns of their peers in this article we show that the recently proposed propositional ...
...whole the main technical contribution of this article is a sound and complete logical system ...

8  properties  1 
Excerpts:
...sound and complete logical system describing the properties of the influence relation in this model ...

9  technical  1 
Excerpts:
...to the society as whole the main technical contribution of this article is a sound ...

On the Logic of Balance in Social Networks
 Author: Error: Author not contained in standard '<author>' tag in feed
 Publication date: 20200301
Abstract:
Modal logics for reasoning about social networks is currently an active field of research. There is still a gap, however, between the state of the art in logical formalisations of concepts related to social networks and the much more mature field of social network analysis. In this paper we take a step to bridge that gap. One of the key foundations of social network analysis is balance theory, which is used to analyse signed social networks where agents can have positive (friends') or negative (enemies') relationships. Certain combinations of positive and negative relationships are considered to be unbalanced, or unstable'in particular the occurrence of cycles with an odd number of negative relationships. Especially relatively short cycles with an odd number of negative relationships are thought to put pressure on the agents to change one or more of the involved relationships from negative to positive or the other way around. Most existing logics for reasoning about social networks are defined for unsigned networks. In this paper we develop a modal logic for reasoning about structural properties of signed social networks, and give a sound and complete Hilbertstyle axiomatic system. Furthermore, we completely axiomatise classes of signed social networks that are balanced to a certain degree n, in the sense that there are no cycles of length up to n with an odd number of negative relationships. Finally, we completely axiomatise the class of all fully balanced complete signed social networks, i.e., networks where everyone is connected with everyone else. Axiomatic completeness is nontrivial because neither the balance properties, nor the dichotomy between positive and negative relations, are modally definable. The paper thus provides a logical basis for reasoning about signed social networks in general and balanced networks in particular. Word Count:
Rank  Word  Count 
0  networks  11 
Excerpts:
... modal logics for reasoning about social networks is currently an active field of research ...
...logical formalisations of concepts related to social networks and the much more mature field of ...
...which is used to analyse signed social networks where agents can have positive friends or ...
...most existing logics for reasoning about social networks are defined for unsigned networks in this ...
...about social networks are defined for unsigned networks in this paper we develop a modal ...
...reasoning about structural properties of signed social networks and give a sound and complete hilbertstyle ...
...we completely axiomatise classes of signed social networks that are balanced to a certain degree ...
...of all fully balanced complete signed social networks ie networks where everyone is connected with ...
...fully balanced complete signed social networks ie networks where everyone is connected with everyone else ...
...logical basis for reasoning about signed social networks in general and balanced networks in particular ...
...signed social networks in general and balanced networks in particular ...

1  social  10 
Excerpts:
... modal logics for reasoning about social networks is currently an active field of ...
...in logical formalisations of concepts related to social networks and the much more mature field ...
...and the much more mature field of social network analysis in this paper we take ...
...gap one of the key foundations of social network analysis is balance theory which is ...
...theory which is used to analyse signed social networks where agents can have positive friends ...
...around most existing logics for reasoning about social networks are defined for unsigned networks in ...
...for reasoning about structural properties of signed social networks and give a sound and complete ...
...furthermore we completely axiomatise classes of signed social networks that are balanced to a certain ...
...class of all fully balanced complete signed social networks ie networks where everyone is connected ...
...a logical basis for reasoning about signed social networks in general and balanced networks in ...

2  negative  7 
Excerpts:
...where agents can have positive friends or negative enemies relationships certain combinations of positive and ...
...enemies relationships certain combinations of positive and negative relationships are considered to be unbalanced or ...
...of cycles with an odd number of negative relationships especially relatively short cycles with an ...
...short cycles with an odd number of negative relationships are thought to put pressure on ...
...or more of the involved relationships from negative to positive or the other way around ...
...to n with an odd number of negative relationships finally we completely axiomatise the class ...
...properties nor the dichotomy between positive and negative relations are modally definable the paper thus ...

3  relationships  6 
Excerpts:
...can have positive friends or negative enemies relationships certain combinations of positive and negative relationships ...
...relationships certain combinations of positive and negative relationships are considered to be unbalanced or unstablein ...
...cycles with an odd number of negative relationships especially relatively short cycles with an odd ...
...cycles with an odd number of negative relationships are thought to put pressure on the ...
...change one or more of the involved relationships from negative to positive or the other ...
...n with an odd number of negative relationships finally we completely axiomatise the class of ...

4  signed  5 
Excerpts:
...balance theory which is used to analyse signed social networks where agents can have positive ...
...logic for reasoning about structural properties of signed social networks and give a sound and ...
...system furthermore we completely axiomatise classes of signed social networks that are balanced to a ...
...the class of all fully balanced complete signed social networks ie networks where everyone is ...
...provides a logical basis for reasoning about signed social networks in general and balanced networks ...

5  reasoning  4 
Excerpts:
... modal logics for reasoning about social networks is currently an active ...
...other way around most existing logics for reasoning about social networks are defined for unsigned ...
...paper we develop a modal logic for reasoning about structural properties of signed social networks ...
...paper thus provides a logical basis for reasoning about signed social networks in general and ...

6  positive  4 
Excerpts:
...signed social networks where agents can have positive friends or negative enemies relationships certain combinations ...
...or negative enemies relationships certain combinations of positive and negative relationships are considered to be ...
...of the involved relationships from negative to positive or the other way around most existing ...
...the balance properties nor the dichotomy between positive and negative relations are modally definable the ...

7  odd  3 
Excerpts:
...particular the occurrence of cycles with an odd number of negative relationships especially relatively short ...
...relationships especially relatively short cycles with an odd number of negative relationships are thought to ...
...of length up to n with an odd number of negative relationships finally we completely ...

8  balanced  3 
Excerpts:
...classes of signed social networks that are balanced to a certain degree n in the ...
...completely axiomatise the class of all fully balanced complete signed social networks ie networks where ...
...about signed social networks in general and balanced networks in particular ...

9  cycles  3 
Excerpts:
...unbalanced or unstablein particular the occurrence of cycles with an odd number of negative relationships ...
...number of negative relationships especially relatively short cycles with an odd number of negative relationships ...
...in the sense that there are no cycles of length up to n with an ...

Multiagent Logics for Reasoning About HigherOrder Upper and Lower Probabilities
 Author: Error: Author not contained in standard '<author>' tag in feed
 Publication date: 20200301
Abstract:
We present a propositional and a firstorder logic for reasoning about higherorder upper and lower probabilities. We provide sound and complete axiomatizations for the logics and we prove decidability in the propositional case. Furthermore, we show that the introduced logics generalize some existing probability logics. Word Count:
Rank  Word  Count 
0  logics  3 
Excerpts:
...provide sound and complete axiomatizations for the logics and we prove decidability in the propositional ...
...case furthermore we show that the introduced logics generalize some existing probability logics ...
...the introduced logics generalize some existing probability logics ...

1  propositional  2 
Excerpts:
... we present a propositional and a firstorder logic for reasoning about ...
...logics and we prove decidability in the propositional case furthermore we show that the introduced ...

2  present  1 
Excerpts:
... we present a propositional and a firstorder logic for ...

3  existing  1 
Excerpts:
...show that the introduced logics generalize some existing probability logics ...

4  generalize  1 
Excerpts:
...furthermore we show that the introduced logics generalize some existing probability logics ...

5  introduced  1 
Excerpts:
...propositional case furthermore we show that the introduced logics generalize some existing probability logics ...

6  show  1 
Excerpts:
...decidability in the propositional case furthermore we show that the introduced logics generalize some existing ...

7  furthermore  1 
Excerpts:
...we prove decidability in the propositional case furthermore we show that the introduced logics generalize ...

8  case  1 
Excerpts:
...and we prove decidability in the propositional case furthermore we show that the introduced logics ...

9  decidability  1 
Excerpts:
...axiomatizations for the logics and we prove decidability in the propositional case furthermore we show ...

A Closeness and PriorityBased Logical Study of Social Network Creation
 Author: Error: Author not contained in standard '<author>' tag in feed
 Publication date: 20200301
Abstract:
This paper is part of an ongoing programme on the study of the logical aspects of social network formation. It recalls the socalled social network model, discussing the properties of a notion of closeness between agents (in terms of the number of traits they have in common); then introduces an extended social network model in which different agents might assign different values to different traits, discussing the properties of the notion of weighted closeness that arises. These notions are used to define social network creation operations by means of a threshold strategy. The paper studies the properties of the social networks the updates create, providing sound and complete axiom systems for formal languages describing these updates' effects. Word Count:
Rank  Word  Count 
0  social  5 
Excerpts:
...the study of the logical aspects of social network formation it recalls the socalled social ...
...social network formation it recalls the socalled social network model discussing the properties of a ...
...have in common then introduces an extended social network model in which different agents might ...
...arises these notions are used to define social network creation operations by means of a ...
...the paper studies the properties of the social networks the updates create providing sound and ...

1  network  4 
Excerpts:
...study of the logical aspects of social network formation it recalls the socalled social network ...
...network formation it recalls the socalled social network model discussing the properties of a notion ...
...in common then introduces an extended social network model in which different agents might assign ...
...these notions are used to define social network creation operations by means of a threshold ...

2  different  3 
Excerpts:
...an extended social network model in which different agents might assign different values to different ...
...model in which different agents might assign different values to different traits discussing the properties ...
...different agents might assign different values to different traits discussing the properties of the notion ...

3  properties  3 
Excerpts:
...the socalled social network model discussing the properties of a notion of closeness between agents ...
...different values to different traits discussing the properties of the notion of weighted closeness that ...
...a threshold strategy the paper studies the properties of the social networks the updates create ...

4  model  2 
Excerpts:
...formation it recalls the socalled social network model discussing the properties of a notion of ...
...common then introduces an extended social network model in which different agents might assign different ...

5  closeness  2 
Excerpts:
...discussing the properties of a notion of closeness between agents in terms of the number ...
...the properties of the notion of weighted closeness that arises these notions are used to ...

6  updates  2 
Excerpts:
...the properties of the social networks the updates create providing sound and complete axiom systems ...
...axiom systems for formal languages describing these updates effects ...

7  discussing  2 
Excerpts:
...it recalls the socalled social network model discussing the properties of a notion of closeness ...
...might assign different values to different traits discussing the properties of the notion of weighted ...

8  notion  2 
Excerpts:
...network model discussing the properties of a notion of closeness between agents in terms of ...
...different traits discussing the properties of the notion of weighted closeness that arises these notions ...

9  traits  2 
Excerpts:
...agents in terms of the number of traits they have in common then introduces an ...
...agents might assign different values to different traits discussing the properties of the notion of ...

A FourValued Dynamic Epistemic Logic
 Author: Error: Author not contained in standard '<author>' tag in feed
 Publication date: 20200210
Abstract:
Epistemic logic is usually employed to model two aspects of a situation: the factual and the epistemic aspects. Truth, however, is not always attainable, and in many cases we are forced to reason only with whatever information is available to us. In this paper, we will explore a fourvalued epistemic logic designed to deal with these situations, where agents have only knowledge about the available information (or evidence), which can be incomplete or conflicting, but not explicitly about facts. This layer of available information or evidence, which is the object of the agents' knowledge, can be seen as a database. By adopting this sceptical posture in our semantics, we prepare the ground for logics where the notion of knowledge'or more appropriately, belief'is entirely based on evidence. The technical results include a set of reduction axioms for public announcements, correspondence proofs, and a complete tableau system. In summary, our contributions are twofold: on the one hand we present an intuition and possible application for manyvalued modal logics, and on the other hand we develop a logic that models the dynamics of evidence in a simple and intuitively clear fashion. Word Count:
Rank  Word  Count 
0  evidence  4 
Excerpts:
...only knowledge about the available information or evidence which can be incomplete or conflicting but ...
...facts this layer of available information or evidence which is the object of the agents ...
...knowledgeor more appropriately beliefis entirely based on evidence the technical results include a set of ...
...a logic that models the dynamics of evidence in a simple and intuitively clear fashion ...

1  epistemic  3 
Excerpts:
... epistemic logic is usually employed to model two ...
...of a situation the factual and the epistemic aspects truth however is not always attainable ...
...this paper we will explore a fourvalued epistemic logic designed to deal with these situations ...

2  logic  3 
Excerpts:
... epistemic logic is usually employed to model two aspects ...
...paper we will explore a fourvalued epistemic logic designed to deal with these situations where ...
...on the other hand we develop a logic that models the dynamics of evidence in ...

3  available  3 
Excerpts:
...to reason only with whatever information is available to us in this paper we will ...
...where agents have only knowledge about the available information or evidence which can be incomplete ...
...not explicitly about facts this layer of available information or evidence which is the object ...

4  information  3 
Excerpts:
...are forced to reason only with whatever information is available to us in this paper ...
...agents have only knowledge about the available information or evidence which can be incomplete or ...
...explicitly about facts this layer of available information or evidence which is the object of ...

5  only  2 
Excerpts:
...many cases we are forced to reason only with whatever information is available to us ...
...deal with these situations where agents have only knowledge about the available information or evidence ...

6  knowledge  2 
Excerpts:
...with these situations where agents have only knowledge about the available information or evidence which ...
...which is the object of the agents knowledge can be seen as a database by ...

7  agents  2 
Excerpts:
...designed to deal with these situations where agents have only knowledge about the available information ...
...evidence which is the object of the agents knowledge can be seen as a database ...

8  where  2 
Excerpts:
...logic designed to deal with these situations where agents have only knowledge about the available ...
...semantics we prepare the ground for logics where the notion of knowledgeor more appropriately beliefis ...

9  hand  2 
Excerpts:
...our contributions are twofold on the one hand we present an intuition and possible application ...
...manyvalued modal logics and on the other hand we develop a logic that models the ...

