Bimodal logics with contingency and accident

02/11/2018
by   Jie Fan, et al.
0

Contingency and accident are two important notions in philosophy and philosophical logic. Their meanings are so close that they are mixed sometimes, in both everyday discourse and academic research. This indicates that it is necessary to study them in a unified framework. However, there has been no logical research on them together. In this paper, we propose a language of a bimodal logic with these two concepts, investigate its model-theoretical properties such as expressivity and frame definability. We axiomatize this logic over various classes of frames, whose completeness proofs are shown with the help of a crucial schema. The interactions between contingency and accident can sharpen our understanding of both notions. Then we extend the logic to a dynamic case: public announcements. By finding the required reduction axioms, we obtain a complete axiomatization, which gives us a good application to Moore sentences.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/22/2020

Notes on neighborhood semantics for logics of unknown truths and false beliefs

In this article, we study logics of unknown truths and false beliefs und...
research
02/01/2023

Rudin-Shapiro Sums Via Automata Theory and Logic

We show how to obtain, via a unified framework provided by logic and aut...
research
08/21/2020

Logic-Induced Bisimulations

We define a new logic-induced notion of bisimulation (called ρ-bisimulat...
research
10/09/2018

Dialectical logic: the Process Calculus

Dialectical logic is the logic of dialectical processes. The goal of dia...
research
12/18/2019

Dynamic Toolbox for ETRINV

Recently, various natural algorithmic problems have been shown to be ∃R-...
research
11/02/2018

A Generalization of the Łoś-Tarski Preservation Theorem - Dissertation Summary

This article gives a summary of the author's Ph.D. dissertation (arXiv:1...
research
07/10/2023

Some Preliminary Steps Towards Metaverse Logic

Assuming that the term 'metaverse' could be understood as a computer-bas...

Please sign up or login with your details

Forgot password? Click here to reset