Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Johannes Korbmacher
@article{DBLP:journals/rsl/Korbmacher23, author = {Johannes Korbmacher}, title = {Proof Systems for exact Entailment}, journal = {Rev. Symb. Log.}, volume = {16}, number = {4}, pages = {1260--1295}, year = {2023}, url = {https://doi.org/10.1017/s175502032200020x}, doi = {10.1017/S175502032200020X}, timestamp = {Mon, 01 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/rsl/Korbmacher23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sLogica/AnglbergerK20, author = {Albert J. J. Anglberger and Johannes Korbmacher}, title = {Truthmakers and Normative Conflicts}, journal = {Stud Logica}, volume = {108}, number = {1}, pages = {49--83}, year = {2020}, url = {https://doi.org/10.1007/s11225-019-09862-5}, doi = {10.1007/S11225-019-09862-5}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sLogica/AnglbergerK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jphil/Korbmacher18, author = {Johannes Korbmacher}, title = {Axiomatic Theories of Partial Ground {I}}, journal = {J. Philos. Log.}, volume = {47}, number = {2}, pages = {161--191}, year = {2018}, url = {https://doi.org/10.1007/s10992-016-9423-9}, doi = {10.1007/S10992-016-9423-9}, timestamp = {Mon, 25 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jphil/Korbmacher18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jphil/Korbmacher18a, author = {Johannes Korbmacher}, title = {Axiomatic Theories of Partial Ground {II}}, journal = {J. Philos. Log.}, volume = {47}, number = {2}, pages = {193--226}, year = {2018}, url = {https://doi.org/10.1007/s10992-017-9444-z}, doi = {10.1007/S10992-017-9444-Z}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jphil/Korbmacher18a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deon/AnglbergerFK16, author = {Albert J. J. Anglberger and Federico L. G. Faroldi and Johannes Korbmacher}, editor = {Olivier Roy and Allard M. Tamminga and Malte Willer}, title = {An Exact Truthmaker Semantics for Permission and Obligation}, booktitle = {Deontic Logic and Normative Systems - 13th International Conference, {DEON} 2016, Bayreuth, Germany, July 18-21, 2018}, pages = {16--31}, publisher = {College Publications}, year = {2016}, timestamp = {Mon, 04 Mar 2019 12:56:41 +0100}, biburl = {https://dblp.org/rec/conf/deon/AnglbergerFK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.