Combinatorial bitstring semantics for arbitrary logical fragments

DOI10.1007/S10992-017-9430-5zbMath1436.03110OpenAlexW2592067820MaRDI QIDQ1749808

Lorenz Demey, Hans Smessaert

Publication date: 28 May 2018

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-017-9430-5

zbMATH Keywords

Boolean algebrapublic announcement logicAristotelian diagramexistential importbitstringscombinatorial semantics

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items (17)

Schopenhauer's partition diagrams and logical geometry ⋮ Combining and relating Aristotelian diagrams ⋮ On the cognitive potential of derivative meaning in Aristotelian diagrams ⋮ Aspect shifting in Aristotelian diagrams ⋮ From Euler diagrams to Aristotelian diagrams ⋮ Visualizing polymorphisms and counter-polymorphisms in S5 modal logic ⋮ Generalizing Aristotelian relations and diagrams ⋮ Logic-sensitivity and bitstring semantics in the square of opposition ⋮ On the logical geometry of geometric angles ⋮ Aristotelian diagrams for semantic and syntactic consequence ⋮ From Euler Diagrams in Schopenhauer to Aristotelian Diagrams in Logical Geometry ⋮ Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\) ⋮ Boolean considerations on John Buridan's octagons of opposition ⋮ Logic diagrams, sacred geometry and neural networks ⋮ Logical and geometrical distance in polyhedral Aristotelian diagrams in knowledge representation ⋮ Between Square and Hexagon in Oresme's Livre du Ciel et du Monde ⋮ Aristotelian and Duality Relations Beyond the Square of Opposition

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Structures of opposition induced by relations. The Boolean and the gradual cases
• Metalogical decorations of logical diagrams
• Dynamic epistemic logic
• ``Setting \(n\)-opposition
• Reasoning about information change
• On the 3D visualisation of logical relations
• Logic and colour
• The cognitive ontogenesis of predicate logic
• Logical geometries and information in the square of oppositions
• Logical and geometrical distance in polyhedral Aristotelian diagrams in knowledge representation
• Things that are right with the traditional square of opposition
• Logical extensions of Aristotle's square
• Logics of public communications
• Duality in Rough Set Theory Based on the Square of Opposition
• Avicenna on Possibility and Necessity
• Was Lewis Carroll an Amazing Oppositional Geometer?
• Categories for the Practising Physicist
• Introduction to Boolean Algebras
• Logical Oppositions in Arabic Logic: Avicenna and Averroes
• Thinking Outside the Square of Opposition Box
• John Buridan’s Theory of Consequence and His Octagons of Opposition
• No Group of Opposition for Constructive Logics: The Intuitionistic and Linear Cases
• How to Square Knowledge and Belief
• Structures of Oppositions in Public Announcement Logic
• The Cube, the Square and the Problem of Existential Import
• Béziau’s Contributions to the Logical Geometry of Modalities and Quantifiers
• Logic and structure
• Meet and join within the lattice of set partitions
• Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler.

This page was built for publication: Combinatorial bitstring semantics for arbitrary logical fragments