Search dblp for Publications

export results for "toc:db/journals/jphil/jphil27.bht:"

 download as .bib file

@article{DBLP:journals/jphil/Akiba98,
  author       = {Ken Akiba},
  title        = {Nominalistic metalogic},
  journal      = {J. Philos. Log.},
  volume       = {27},
  number       = {1},
  pages        = {35--47},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1004201013891},
  doi          = {10.1023/A:1004201013891},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/Akiba98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/AndrekaNB98,
  author       = {Hajnal Andr{\'{e}}ka and
                  Istv{\'{a}}n N{\'{e}}meti and
                  Johan van Benthem},
  title        = {Modal Languages and Bounded Fragments of Predicate Logic},
  journal      = {J. Philos. Log.},
  volume       = {27},
  number       = {3},
  pages        = {217--274},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1004275029985},
  doi          = {10.1023/A:1004275029985},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/AndrekaNB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/BarwiseM98,
  author       = {Jon Barwise and
                  Lawrence S. Moss},
  title        = {Modal Correspondence for Models},
  journal      = {J. Philos. Log.},
  volume       = {27},
  number       = {3},
  pages        = {275--294},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1004268613379},
  doi          = {10.1023/A:1004268613379},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/BarwiseM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/CostaBF98,
  author       = {Newton C. A. da Costa and
                  Ot{\'{a}}vio A. S. Bueno and
                  Steven French},
  title        = {The Logic of Pragmatic Truth},
  journal      = {J. Philos. Log.},
  volume       = {27},
  number       = {6},
  pages        = {603--620},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1004304228785},
  doi          = {10.1023/A:1004304228785},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/CostaBF98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Hammer98,
  author       = {Eric M. Hammer},
  title        = {Semantics for existential graphs},
  journal      = {J. Philos. Log.},
  volume       = {27},
  number       = {5},
  pages        = {489--503},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1017908108789},
  doi          = {10.1023/A:1017908108789},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/Hammer98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Hawthorne98,
  author       = {James Hawthorne},
  title        = {On the Logic of Nonmonotonic Conditionals and Conditional Probabilities:
                  Predicate Logic},
  journal      = {J. Philos. Log.},
  volume       = {27},
  number       = {1},
  pages        = {1--34},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1004264305582},
  doi          = {10.1023/A:1004264305582},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/Hawthorne98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Kracht98,
  author       = {Marcus Kracht},
  title        = {On Extensions of Intermediate Logics by Strong Negation},
  journal      = {J. Philos. Log.},
  volume       = {27},
  number       = {1},
  pages        = {49--73},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1004222213212},
  doi          = {10.1023/A:1004222213212},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/Kracht98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/MaioZ98,
  author       = {Maria Concetta Di Maio and
                  Alberto Zanardo},
  title        = {A Gabbay-Rule Free Axiomatization of T{\texttimes}W Validity},
  journal      = {J. Philos. Log.},
  volume       = {27},
  number       = {5},
  pages        = {435--487},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1004284420809},
  doi          = {10.1023/A:1004284420809},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/MaioZ98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Martino98,
  author       = {Enrico Martino},
  title        = {Negationless intuitionism},
  journal      = {J. Philos. Log.},
  volume       = {27},
  number       = {2},
  pages        = {165--177},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1004278211254},
  doi          = {10.1023/A:1004278211254},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/Martino98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/MendezS98,
  author       = {Jos{\'{e}} M. M{\'{e}}ndez and
                  Francisco Salto},
  title        = {A Natural Negation Completion of Urquhart's Many-Valued Logic {C}},
  journal      = {J. Philos. Log.},
  volume       = {27},
  number       = {1},
  pages        = {75--84},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1017978332179},
  doi          = {10.1023/A:1017978332179},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/MendezS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Meyer98,
  author       = {Robert K. Meyer},
  title        = {{\(\supset\)}E is Admissible in "true" relevant arithmetic},
  journal      = {J. Philos. Log.},
  volume       = {27},
  number       = {4},
  pages        = {327--351},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1017990121294},
  doi          = {10.1023/A:1017990121294},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/Meyer98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Novak98,
  author       = {Peter Nov{\'{a}}k},
  title        = {Logic and the Classical Theory of Mind},
  journal      = {J. Philos. Log.},
  volume       = {27},
  number       = {4},
  pages        = {389--434},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1004218607106},
  doi          = {10.1023/A:1004218607106},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/Novak98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/PrattS98,
  author       = {Ian E. Pratt and
                  Dominik J. Schoop},
  title        = {A Complete Axiom System for Polygonal Mereotopology of the Real Plane},
  journal      = {J. Philos. Log.},
  volume       = {27},
  number       = {6},
  pages        = {621--658},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1004361501703},
  doi          = {10.1023/A:1004361501703},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/PrattS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Raatikainen98,
  author       = {Panu Raatikainen},
  title        = {On Interpreting Chaitin's Incompleteness Theorem},
  journal      = {J. Philos. Log.},
  volume       = {27},
  number       = {6},
  pages        = {569--586},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1004305315546},
  doi          = {10.1023/A:1004305315546},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/Raatikainen98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Restall98,
  author       = {Greg Restall},
  title        = {Displaying and Deciding Substructural Logics 1: Logics with Contraposition},
  journal      = {J. Philos. Log.},
  volume       = {27},
  number       = {2},
  pages        = {179--216},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1017998605966},
  doi          = {10.1023/A:1017998605966},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jphil/Restall98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Rijke98,
  author       = {Maarten de Rijke},
  title        = {A System of Dynamic Modal Logic},
  journal      = {J. Philos. Log.},
  volume       = {27},
  number       = {2},
  pages        = {109--142},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1004295308014},
  doi          = {10.1023/A:1004295308014},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/Rijke98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Sandu98,
  author       = {Gabriel Sandu},
  title        = {If-Logic and Truth-definition},
  journal      = {J. Philos. Log.},
  volume       = {27},
  number       = {2},
  pages        = {143--164},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1017905122049},
  doi          = {10.1023/A:1017905122049},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/Sandu98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Sandu98a,
  author       = {Gabriel Sandu},
  title        = {Partially Interpreted Relations and Partially Interpreted Quantifiers},
  journal      = {J. Philos. Log.},
  volume       = {27},
  number       = {6},
  pages        = {587--601},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1004368325267},
  doi          = {10.1023/A:1004368325267},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/Sandu98a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Swoyer98,
  author       = {Chris Swoyer},
  title        = {Complex Predicates and Logics for Properties and Relations},
  journal      = {J. Philos. Log.},
  volume       = {27},
  number       = {3},
  pages        = {295--325},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1004234204990},
  doi          = {10.1023/A:1004234204990},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/Swoyer98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/TsujiCD98,
  author       = {Marcelo Tsuji and
                  Newton C. A. da Costa and
                  Francisco A. Doria},
  title        = {The Incompleteness of Theories of Games},
  journal      = {J. Philos. Log.},
  volume       = {27},
  number       = {6},
  pages        = {553--568},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1004220919753},
  doi          = {10.1023/A:1004220919753},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/TsujiCD98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Tzouvaras98,
  author       = {Athanassios Tzouvaras},
  title        = {Logic of Knowledge and Utterance and the Liar},
  journal      = {J. Philos. Log.},
  volume       = {27},
  number       = {1},
  pages        = {85--108},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1017946620987},
  doi          = {10.1023/A:1017946620987},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/Tzouvaras98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Wolter98,
  author       = {Frank Wolter},
  title        = {On Logics with Coimplication},
  journal      = {J. Philos. Log.},
  volume       = {27},
  number       = {4},
  pages        = {353--387},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1004218110879},
  doi          = {10.1023/A:1004218110879},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jphil/Wolter98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/Xu98,
  author       = {Ming Xu},
  title        = {Axioms for Deliberative Stit},
  journal      = {J. Philos. Log.},
  volume       = {27},
  number       = {5},
  pages        = {505--552},
  year         = {1998},
  url          = {https://doi.org/10.1023/A:1004274131669},
  doi          = {10.1023/A:1004274131669},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/Xu98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics