Showing 1–6 of 6 results for author: Wijnberg, N M

Modelling socio-political competition

Authors: Willem Conradie, Alessandra Palmigiano, Claudette Robinson, Apostolos Tzimoulis, Nachoem M. Wijnberg

Abstract: This paper continues the investigation of the logic of competing theories, be they scientific, social, political etc. We introduce a many-valued, multi-type modal language which we endow with relational semantics based on enriched reflexive graphs, inspired by Ploščica's representation of general lattices. We axiomatize the resulting many-valued, non-distributive modal logic of these structures an… ▽ More This paper continues the investigation of the logic of competing theories, be they scientific, social, political etc. We introduce a many-valued, multi-type modal language which we endow with relational semantics based on enriched reflexive graphs, inspired by Ploščica's representation of general lattices. We axiomatize the resulting many-valued, non-distributive modal logic of these structures and prove a completeness theorem. We illustrate the application of this logic through a case study in which we model competition among interacting political promises and social demands within an arena of political parties social groups. △ Less

Submitted 13 August, 2019; originally announced August 2019.

Comments: 24 pages

MSC Class: 03B45; 03B50

The logic of vague categories

Authors: Willem Conradie, Alessandra Palmigiano, Claudette Robinson, Apostolos Tzimoulis, Nachoem M. Wijnberg

Abstract: We introduce a complete many-valued semantics for basic normal lattice-based modal logic. This relational semantics is grounded on many-valued formal contexts from Formal Concept Analysis. We discuss an interpretation and possible applications of this logical framework for categorization theory to the formal analysis of multi-market competition. We introduce a complete many-valued semantics for basic normal lattice-based modal logic. This relational semantics is grounded on many-valued formal contexts from Formal Concept Analysis. We discuss an interpretation and possible applications of this logical framework for categorization theory to the formal analysis of multi-market competition. △ Less

Submitted 13 August, 2019; originally announced August 2019.

Comments: 24 pages

MSC Class: 03B45; 03B50; 03B52

Rough concepts

Authors: Willem Conradie, Sabine Frittella, Krishna Manoorkar, Sajad Nazari, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem M. Wijnberg

Abstract: The present paper proposes a novel way to unify Rough Set Theory and Formal Concept Analysis. Our method stems from results and insights developed in the algebraic theory of modal logic, and is based on the idea that Pawlak's original approximation spaces can be seen as special instances of enriched formal contexts, i.e. relational structures based on formal contexts from Formal Concept Analysis. The present paper proposes a novel way to unify Rough Set Theory and Formal Concept Analysis. Our method stems from results and insights developed in the algebraic theory of modal logic, and is based on the idea that Pawlak's original approximation spaces can be seen as special instances of enriched formal contexts, i.e. relational structures based on formal contexts from Formal Concept Analysis. △ Less

Submitted 3 February, 2020; v1 submitted 30 June, 2019; originally announced July 2019.

Modelling competing theories

Authors: Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem M. Wijnberg

Abstract: We introduce a complete many-valued semantics for two normal lattice-based modal logics. This semantics is based on reflexive many-valued graphs. We discuss an interpretation and possible applications of this logical framework in the context of the formal analysis of the interaction between (competing) scientific theories. We introduce a complete many-valued semantics for two normal lattice-based modal logics. This semantics is based on reflexive many-valued graphs. We discuss an interpretation and possible applications of this logical framework in the context of the formal analysis of the interaction between (competing) scientific theories. △ Less

Submitted 28 June, 2019; v1 submitted 28 May, 2019; originally announced May 2019.

Comments: To appear in the proceedings of EUSFLAT 2019. Pre-final version with expanded proofs

MSC Class: 03B45; 03B50

Modelling informational entropy

Authors: Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem M. Wijnberg

Abstract: By 'informational entropy', we understand an inherent boundary to knowability, due e.g. to perceptual, theoretical, evidential or linguistic limits. In this paper, we discuss a logical framework in which this boundary is incorporated into the semantic and deductive machinery, and outline how this framework can be used to model various situations in which informational entropy arises. By 'informational entropy', we understand an inherent boundary to knowability, due e.g. to perceptual, theoretical, evidential or linguistic limits. In this paper, we discuss a logical framework in which this boundary is incorporated into the semantic and deductive machinery, and outline how this framework can be used to model various situations in which informational entropy arises. △ Less

Submitted 28 May, 2019; v1 submitted 29 March, 2019; originally announced March 2019.

Comments: To appear in proceedings of WoLLIC 2019, Remark 1 added

MSC Class: 03B45

Categories: How I Learned to Stop Worrying and Love Two Sorts

Authors: Willem Conradie, Sabine Frittella, Michele Piazzai, Apostolos Tzimoulis, Alessandra Palmigiano, Nachoem M. Wijnberg

Abstract: RS-frames were introduced by Gehrke as relational semantics for substructural logics. They are two-sorted structures, based on RS-polarities with additional relations used to interpret modalities. We propose an intuitive, epistemic interpretation of RS-frames for modal logic, in terms of categorization systems and agents' subjective interpretations of these systems. Categorization systems are a ke… ▽ More RS-frames were introduced by Gehrke as relational semantics for substructural logics. They are two-sorted structures, based on RS-polarities with additional relations used to interpret modalities. We propose an intuitive, epistemic interpretation of RS-frames for modal logic, in terms of categorization systems and agents' subjective interpretations of these systems. Categorization systems are a key to any decision-making process and are widely studied in the social and management sciences. A set of objects together with a set of properties and an incidence relation connecting objects with their properties forms a polarity which can be `pruned' into an RS-polarity. Potential categories emerge as the Galois-stable sets of this polarity, just like the concepts of Formal Concept Analysis. An agent's beliefs about objects and their properties (which might be partial) is modelled by a relation which gives rise to a normal modal operator expressing the agent's beliefs about category membership. Fixed-points of the iterations of the belief modalities of all agents are used to model categories constructed through social interaction. △ Less

Submitted 3 January, 2019; v1 submitted 4 April, 2016; originally announced April 2016.

Comments: References updated

MSC Class: 03B45

Journal ref: LNCS, volume 10388, pages 92 - 109, 2017