Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/sLogica/sLogica59.bht:"
download as .bib file
@article{DBLP:journals/sLogica/AmatiAP97,
author = {Gianni Amati and
Luigia Carlucci Aiello and
Fiora Pirri},
title = {Intuitionistic Autoepistemic Logic},
journal = {Stud Logica},
volume = {59},
number = {1},
pages = {103--120},
year = {1997},
url = {https://doi.org/10.1023/A:1004999417699},
doi = {10.1023/A:1004999417699},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/AmatiAP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/BlackburnR97,
author = {Patrick Blackburn and
Maarten de Rijke},
title = {Why Combine Logics?},
journal = {Stud Logica},
volume = {59},
number = {1},
pages = {5--27},
year = {1997},
url = {https://doi.org/10.1023/A:1004991115882},
doi = {10.1023/A:1004991115882},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/BlackburnR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/DAgostinoGR97,
author = {Marcello D'Agostino and
Dov M. Gabbay and
Alessandra Russo},
title = {Grafting Modalities onto Substructural Implication Systems},
journal = {Stud Logica},
volume = {59},
number = {1},
pages = {65--102},
year = {1997},
url = {https://doi.org/10.1023/A:1004947400860},
doi = {10.1023/A:1004947400860},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/DAgostinoGR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Ferrari97,
author = {Mauro Ferrari},
title = {Cut-Free Tableau Calculi for some Intuitionistic Modal Logics},
journal = {Stud Logica},
volume = {59},
number = {3},
pages = {303--330},
year = {1997},
url = {https://doi.org/10.1023/A:1005072627389},
doi = {10.1023/A:1005072627389},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Ferrari97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/GabbayP97,
author = {Dov M. Gabbay and
Fiora Pirri},
title = {Combining Logic {I} - Introduction},
journal = {Stud Logica},
volume = {59},
number = {1},
pages = {1--4},
year = {1997},
url = {https://doi.org/10.1023/A:1004988231811},
doi = {10.1023/A:1004988231811},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/GabbayP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/GabbayP97a,
author = {Dov M. Gabbay and
Fiora Pirri},
title = {Combining Logic {II} - Introduction},
journal = {Stud Logica},
volume = {59},
number = {1},
pages = {147--148},
year = {1997},
url = {https://doi.org/10.1023/A:1004980816367},
doi = {10.1023/A:1004980816367},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/GabbayP97a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/GabbayR97,
author = {Dov M. Gabbay and
Uwe Reyle},
title = {Labelled Resolution for Classical and Non-classical Logics},
journal = {Stud Logica},
volume = {59},
number = {1},
pages = {179--216},
year = {1997},
url = {https://doi.org/10.1023/A:1004952317276},
doi = {10.1023/A:1004952317276},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/GabbayR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Georgatos97,
author = {Konstantinos Georgatos},
title = {Knowledge on Treelike Spaces},
journal = {Stud Logica},
volume = {59},
number = {1},
pages = {271--301},
year = {1997},
url = {https://doi.org/10.1023/A:1004908502255},
doi = {10.1023/A:1004908502255},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Georgatos97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/HumberstoneW97,
author = {Lloyd Humberstone and
Timothy Williamson},
title = {Inverses for Normal Modal Operators},
journal = {Stud Logica},
volume = {59},
number = {1},
pages = {33--64},
year = {1997},
url = {https://doi.org/10.1023/A:1004995316790},
doi = {10.1023/A:1004995316790},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/HumberstoneW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/KrachtW97,
author = {Marcus Kracht and
Frank Wolter},
title = {Simulation and Transfer Results in Modal Logic - {A} Survey},
journal = {Stud Logica},
volume = {59},
number = {1},
pages = {149--177},
year = {1997},
url = {https://doi.org/10.1023/A:1004900300438},
doi = {10.1023/A:1004900300438},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/KrachtW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/LewinMS97,
author = {Renato A. Lewin and
Irene F. Mikenberg and
Mar{\'{\i}}a G. Schwarze},
title = {On the Algebraizability of Annotated Logics},
journal = {Stud Logica},
volume = {59},
number = {3},
pages = {359--386},
year = {1997},
url = {https://doi.org/10.1023/A:1005036412368},
doi = {10.1023/A:1005036412368},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/LewinMS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/MaresM97,
author = {Edwin D. Mares and
Paul McNamara},
title = {Supererogation in Deontic Logic: Metatheory for {DWE} and Some Close
Neighbours},
journal = {Stud Logica},
volume = {59},
number = {3},
pages = {397--415},
year = {1997},
url = {https://doi.org/10.1023/A:1005040513277},
doi = {10.1023/A:1005040513277},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/MaresM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Materna97,
author = {Pavel Materna},
title = {Rules of Existential Quantification into "Intensional Contexts"},
journal = {Stud Logica},
volume = {59},
number = {3},
pages = {331--343},
year = {1997},
url = {https://doi.org/10.1023/A:1005032311459},
doi = {10.1023/A:1005032311459},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Materna97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Mccarthy97,
author = {John McCarthy},
title = {Modality, Si! Modal Logic, No!},
journal = {Stud Logica},
volume = {59},
number = {1},
pages = {29--32},
year = {1997},
url = {https://doi.org/10.1023/A:1004943332720},
doi = {10.1023/A:1004943332720},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Mccarthy97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Restall97,
author = {Greg Restall},
title = {Combining Possibilities and Negations},
journal = {Stud Logica},
volume = {59},
number = {1},
pages = {121--141},
year = {1997},
url = {https://doi.org/10.1023/A:1004951501769},
doi = {10.1023/A:1004951501769},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sLogica/Restall97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/RoccaR97,
author = {Simona Ronchi Della Rocca and
Luca Roversi},
title = {Lambda Calculus and Intuitionistic Linear Logic},
journal = {Stud Logica},
volume = {59},
number = {3},
pages = {417--448},
year = {1997},
url = {https://doi.org/10.1023/A:1005092630115},
doi = {10.1023/A:1005092630115},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/RoccaR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/SernadasSC97,
author = {Am{\'{\i}}lcar Sernadas and
Cristina Sernadas and
Carlos Caleiro},
title = {Synchronization of Logics},
journal = {Stud Logica},
volume = {59},
number = {1},
pages = {217--247},
year = {1997},
url = {https://doi.org/10.1023/A:1004904401346},
doi = {10.1023/A:1004904401346},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/SernadasSC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Skvortsov97,
author = {Dmitrij P. Skvortsov},
title = {Not Every "Tabular" Predicate Logic is Finitely Axiomatizable},
journal = {Stud Logica},
volume = {59},
number = {3},
pages = {387--396},
year = {1997},
url = {https://doi.org/10.1023/A:1005088429206},
doi = {10.1023/A:1005088429206},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Skvortsov97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Suzuki97,
author = {Nobu{-}Yuki Suzuki},
title = {Kripke Frame with Graded Accessibility and Fuzzy Possible World Semantics},
journal = {Stud Logica},
volume = {59},
number = {1},
pages = {249--269},
year = {1997},
url = {http://www.springerlink.com/content/rg6212026832h625/},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Suzuki97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Zakharyaschev97,
author = {Michael Zakharyaschev},
title = {The Greatest Extension of {S4} into which Intuitionistic Logic is
Embeddable},
journal = {Stud Logica},
volume = {59},
number = {3},
pages = {345--358},
year = {1997},
url = {https://doi.org/10.1023/A:1005084328298},
doi = {10.1023/A:1005084328298},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Zakharyaschev97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-29 00:53 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
