%0 Conference Paper %1 conf/tableaux/ArecesCFH23 %A Areces, Carlos %A Cassano, Valentin %A Fervari, Raul %A Hoffmann, Guillaume %B TABLEAUX %D 2023 %E Ramanayake, Revantha %E Urban, Josef %I Springer %K dblp %P 37-48 %T DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics. %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux2023.html#ArecesCFH23 %V 14278 %@ 978-3-031-43513-3

@inproceedings{conf/tableaux/ArecesCFH23, added-at = {2023-11-01T00:00:00.000+0100}, author = {Areces, Carlos and Cassano, Valentin and Fervari, Raul and Hoffmann, Guillaume}, biburl = {https://www.bibsonomy.org/bibtex/2f0479992b1c0ad86c8d6a3513c81de82/dblp}, booktitle = {TABLEAUX}, crossref = {conf/tableaux/2023}, editor = {Ramanayake, Revantha and Urban, Josef}, ee = {https://doi.org/10.1007/978-3-031-43513-3_3}, interhash = {436b60d2026de58d592c5611cdddca47}, intrahash = {f0479992b1c0ad86c8d6a3513c81de82}, isbn = {978-3-031-43513-3}, keywords = {dblp}, pages = {37-48}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T19:33:35.000+0200}, title = {DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics.}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux2023.html#ArecesCFH23}, volume = 14278, year = 2023 }