Tableaux for free logics with descriptions
The paper provides a tableau approach to definite descriptions. We focus on several formalizations of the so-called minimal free description theory (MFD) usually formulated axiomatically in the setting of free logic. We consider five analytic tableau systems corresponding to different kinds of free...
Main Authors: | Indrzejczak, A, Zawidzki, M |
---|---|
Other Authors: | Das, A |
Format: | Conference item |
Language: | English |
Published: |
Springer
2021
|
Similar Items
-
Prefixed tableaux for multi-modal logic of knowledge with inclusions
by: Jūratė Sakalauskaitė
Published: (2003-12-01) -
Tableaux for some deontic logics with the explicit permission operator
by: Daniela Glavaničová, et al.
Published: (2022-06-01) -
Stammering tableaux
by: Matthieu Josuat-Vergès
Published: (2017-09-01) -
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
by: Mark Kaminski, et al.
Published: (2011-03-01) -
Tree-like tableaux
by: Jean-Christophe Aval, et al.
Published: (2011-01-01)