Relational dual tableau decision procedure for modal logic K
Relational dual tableau decision procedure for modal logic K
Autor
Golińska-Pilarek Joanna
Muñoz-Velasco Emilio
Mora-Bonilla Angel
Data publikacji
Dyscyplina PBN
filozofia
Czasopismo
Logic Journal Of The Igpl
Tom
20
Zeszyt
4
Strony od-do
747-756
Link do źródła
Licencja otwartego dostępu
Dostęp zamknięty