A Kotas-Style Characterisation of Minimal Discussive Logic

A Kotas-Style Characterisation of Minimal Discussive Logic

In this paper, we discuss a version of discussive logic determined by a certain variant of Jaśkowski’s original model of discussion. The obtained system can be treated as the minimal discussive logic. It is determined by frames with serial accessibility relation. As the smallest one, this...

Full description

Bibliographic Details
Main Authors: Krystyna Mruczek-Nasieniewska, Marek Nasieniewski
Format: Article
Language:English
Published: MDPI AG 2019-10-01
Series:Axioms
Subjects:
discussive logics
the smallest discussive logic
discussive operators
seriality
accessibility relation
kotas’ method
modal logic
Online Access:https://www.mdpi.com/2075-1680/8/4/108

Internet

https://www.mdpi.com/2075-1680/8/4/108

Similar Items