부산대학교 도서관
검색
Total
Catalog
e-Article
e-Journal
Database
e-Book
Proxy
OFF
Login
Community
Notice & Event
Inquiry Bulletin Board
FAQ
Phone/E-mail Inquiry
Schedule
KOR
Login
Search
Total Search
Catalog
e-Article
e-Journal
Database
e-Book
e-Learning
Collection
Popular
New Arrival
Reading Books
Theme Books
PNU Repository
Newsletter
Research
Research Support Service
Thesis Writing Support
Research Info Guide
Education
Study Info Guide
Textbook
Using Resources
Circulation
Purchase Request
Interlibrary Loan
Provide Fulltext
FRIC
Cooperative Org
Delivery Service
SDI
Off-campus Access
Using Facilities
Opening Hours
User-specific Guidelines
Reading Room
Group Study Room
Media Production Room
PC/Wi-Fi/Mobile
Print/Copy/Scan
Introduction
Mission&Vision
Former Dean
History
Organization
Statistics
Regulation/Operation rules
Direction
Community
Notice & Event
Q&A
FAQ
Phone/E-mail Inquiry
Schedule
My Library
My collection
Borrowed Books
Overdue / Sanction
Reservation
Interlibrary Loan
Education
Change Information
전체메뉴 열기
Please log in
부산대학교 도서관
Search
Total Search
Catalog
e-Article
e-Journal
Database
e-Book
e-Learning
Collection
Popular
New Arrival
Reading Books
Theme Books
PNU Repository
Newsletter
Research
Research Support Service
Thesis Writing Support
Research Info Guide
Education
Study Info Guide
Textbook
Using Resources
Circulation
Purchase Request
Interlibrary Loan
Provide Fulltext
FRIC
Cooperative Org
Delivery Service
SDI
Off-campus Access
Using Facilities
Opening Hours
User-specific Guidelines
Reading Room
Group Study Room
Media Production Room
PC/Wi-Fi/Mobile
Print/Copy/Scan
Introduction
Mission&Vision
Former Dean
History
Organization
Statistics
Regulation/Operation rules
Direction
Community
Notice & Event
Q&A
FAQ
Phone/E-mail Inquiry
Schedule
My Library
My collection
Borrowed Books
Overdue / Sanction
Reservation
Interlibrary Loan
Education
Change Information
clear
Proxy
OFF
KOR
Home
Total Search
e-Article
e-Article
arrow_drop_down
Search All
ISSN
Article Title
Journal Title
Author/Creator
Languages
Advanced Search
Hiragana
Katakana
German, French, Spanish
Greece
Latin
Russian
Roman
Old Hangul
Unit Symbol
Math Symbol
Thai
Mongolian
o
ㅋ
ㄱ
ㅅ
ㅈ
ㅌ
ㄷ
촉
ㄴ
ㅎ
ㅂ
ㅃ
ㅁ
야
ㄹ
와
ㅏ
あ
a
ぁ
か
ka
が
ga
さ
sa
ざ
za
た
ta
だ
da
な
na
は
ha
ば
ba
ぱ
pa
ま
ma
や
ya
ゃ
lya
ら
ra
わ
wa
ゎ
lwa
ん
n
l
い
i
ぃ
き
ki
ぎ
gi
し
si
じ
zi
ち
ti
ぢ
di
に
ni
ひ
hi
び
bi
ぴ
pi
み
mi
り
ri
ㅜ
う
u
ぅ
く
ku
ぐ
gu
す
su
ず
zu
つ
tu
づ
du
っ
ぬ
nu
ふ
hu
ぶ
bu
ぷ
pu
む
mu
ゆ
yu
ゅ
lyu
る
ru
ㅔ
え
e
ぇ
け
ke
げ
ge
せ
se
ぜ
ze
て
te
で
de
ね
ne
へ
he
べ
be
ぺ
pe
め
me
れ
re
ㅗ
お
o
ぉ
こ
ko
ご
go
そ
so
ぞ
zo
と
to
ど
do
の
no
ほ
ho
ぼ
bo
ぽ
po
も
mo
よ
yo
ょ
lyo
ろ
ro
を
wo
o
ㅋ
ㄱ
ㅅ
ㅈ
ㅌ
ㄷ
촉
ㄴ
ㅎ
ㅂ
ㅃ
ㅁ
야
ㄹ
와
ㅏ
ア
a
ァ
カ
ka
ガ
ga
サ
sa
ザ
za
タ
ta
ダ
da
ナ
na
ハ
ha
バ
ba
パ
pa
マ
ma
ヤ
ya
ャ
lya
ラ
ra
ワ
wa
ヮ
lwa
ン
n
l
イ
i
ィ
キ
ki
ギ
gi
シ
si
ジ
zi
チ
ti
ヂ
di
ニ
ni
ヒ
hi
ビ
bi
ピ
pi
ミ
mi
リ
ri
ㅜ
ウ
u
ゥ
ク
ku
グ
gu
ス
su
ズ
zu
ツ
tu
ヅ
du
ッ
ヌ
nu
フ
hu
ブ
bu
プ
pu
ム
mu
ユ
yu
ュ
lyu
ル
ru
ヴ
vu
ㅔ
エ
e
ェ
ケ
ke
ゲ
ge
セ
se
ゼ
ze
テ
te
デ
de
ネ
ne
ヘ
he
ベ
be
ぺ
pe
メ
me
レ
re
ㅗ
オ
o
ォ
コ
ko
ゴ
go
ソ
so
ゾ
zo
ト
to
ド
do
ノ
no
ホ
ho
ボ
bo
ポ
po
モ
mo
ヨ
yo
ョ
lyo
ロ
ro
ヲ
wo
ー
ー
독일어
ä
Ä
ö
Ö
ü
Ü
ß
프랑스어
á
à
Á
À
é
è
É
È
ç
Ç
ê
스페인어
à
á
Á
é
É
í
Í
Ó
ó
Ú
ú
Ñ
ñ
ä
Ä
Α
Β
Γ
Δ
Ε
Ζ
Η
Θ
Ι
Κ
Λ
Μ
Ν
Ξ
Ο
Π
Ρ
Σ
Τ
Υ
Φ
Χ
Ψ
Ω
α
β
γ
δ
ε
ζ
η
θ
ι
κ
λ
μ
ν
ξ
ο
π
ρ
ς
σ
τ
υ
φ
χ
ψ
ω
À
Á
Â
Ã
Ä
Å
Æ
Ç
È
É
Ê
Ë
Ì
Í
Î
Ï
Ð
Ñ
Ò
Ó
Ô
Õ
Ö
Ø
Ù
Ú
Û
Ü
Ý
Þ
ß
à
á
â
ã
ä
å
æ
ç
è
é
ê
ë
ì
í
î
ï
ð
ñ
ò
ó
ô
õ
ö
ø
ù
ú
û
ü
ý
þ
ÿ
А
Б
В
Г
Д
Е
Ё
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Щ
Ъ
Ы
Ь
Э
Ю
Я
а
б
в
г
д
е
ё
ж
з
и
й
к
л
м
н
о
п
р
с
т
у
ф
х
ц
ч
ш
щ
ъ
ы
ь
э
ю
я
ⅰ
ⅱ
ⅲ
ⅳ
ⅴ
ⅵ
ⅶ
ⅷ
ⅸ
ⅹ
Ⅰ
Ⅱ
Ⅲ
Ⅳ
Ⅴ
Ⅵ
Ⅶ
Ⅷ
Ⅸ
Ⅹ
ㅥ
ㅦ
ㅧ
ㅨ
ㅩ
ㅪ
ㅫ
ㅬ
ㅭ
ㅮ
ㅯ
ㅰ
ㅱ
ㅲ
ㅳ
ㅴ
ㅵ
ㅶ
ㅷ
ㅸ
ㅹ
ㅺ
ㅻ
ㅼ
ㅽ
ㅾ
ㅿ
ㆀ
ㆁ
ㆂ
ㆃ
ㆄ
ㆅ
ㆆ
ㆇ
ㆈ
ㆉ
ㆊ
ㆋ
ㆌ
ㆍ
ㆎ
′
″
℃
Å
¢
£
¥
¤
℉
‰
$
%
F
₩
㎕
㎖
㎗
ℓ
㎘
㏄
㎣
㎤
㎥
㎦
㎙
㎚
㎛
㎜
㎝
㎞
㎟
㎠
㎡
㎢
㏊
㎍
㎎
㎏
㏏
㎈
㎉
㏈
㎧
㎨
㎰
㎱
㎲
㎳
㎴
㎵
㎶
㎷
㎸
㎹
㎀
㎁
㎂
㎃
㎄
㎺
㎻
㎽
㎾
㎿
㎐
㎑
㎒
㎓
㎔
Ω
㏀
㏁
㎊
㎋
㎌
㏖
㏅
㎭
㎮
㎯
㏛
㎩
㎪
㎫
㎬
㏝
㏐
㏓
㏃
㏉
㏜
㏆
±
×
÷
≠
≤
≥
∞
∴
∠
⊥
⌒
∂
∇
≡
≒
≪
≫
√
∽
∝
∵
∫
∬
∈
∋
⊆
⊇
⊂
⊃
∪
∩
∧
∨
¬
⇒
⇔
∀
∃
∮
∑
∏
+
-
<
=
>
ก
ข
ฃ
ค
ฅ
ฆ
ง
จ
ฉ
ช
ซ
ฌ
ญ
ฎ
ฏ
ฐ
ฑ
ฒ
ณ
ด
ต
ถ
ท
ธ
น
บ
ป
ผ
ฝ
พ
ฟ
ภ
ม
ย
ร
ฤ
ล
ฦ
ว
ศ
ษ
ส
ห
ฬ
อ
ฮ
ฯ
ะ
ั
า
ำ
ิ
ี
ึ
ื
ุ
ู
ฺ
฿
เ
แ
โ
ใ
ไ
ๅ
ๆ
็
่
้
๊
๋
์
ํ
๎
๏
᠀
᠁
᠂
᠃
᠄
᠅
᠆
᠇
᠈
᠉
᠊
᠐
᠑
᠒
᠓
᠔
᠕
᠖
᠗
᠘
᠙
ᠠ
ᠡ
ᠢ
ᠣ
ᠤ
ᠥ
ᠦ
ᠧ
ᠨ
ᠩ
ᠪ
ᠫ
ᠬ
ᠭ
ᠮ
ᠯ
ᠰ
ᠱ
ᠲ
ᠳ
ᠴ
ᠵ
ᠶ
ᠷ
ᠸ
ᠹ
ᠺ
ᠻ
ᠼ
ᠽ
ᠾ
ᠿ
ᡀ
ᡁ
ᡂ
ᡃ
ᡄ
ᡅ
ᡆ
ᡇ
ᡈ
ᡉ
ᡊ
ᡋ
ᡌ
ᡍ
ᡎ
ᡏ
Publication date
-
(ex : 2010-2015)
'e-Article'
searched
195
results | List
1~10
Select All
Export
Relevance
arrow_drop_down
Relevance
DateNewest
Date Oldest
10
arrow_drop_down
5
10
20
30
40
50
format_list_bulleted
format_list_bulleted
E-mail
EndNote
RefWorks
Possibility Semantics
Report
Holliday, Wesley H.
Open Access (Arxiv)
Find it@PNU
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
Social Choice Should Guide AI Alignment in Dealing with Diverse Human Feedback
Report
Conitzer, Vincent
;
Freedman, Rachel
;
Heitzig, Jobst
;
Holliday, Wesley H.
;
Jacobs, Bob M.
;
Lambert, Nathan
;
Mossé, Milan
;
Pacuit, Eric
;
Russell, Stuart
;
Schoelkopf, Hailey
;
Tewolde, Emanuel
;
Zwicker, William S.
Open Access (Arxiv)
Find it@PNU
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
Modal logic, fundamentally
Report
Holliday, Wesley H.
Open Access (Arxiv)
Find it@PNU
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
Preconditionals
Report
Holliday, Wesley H.
Open Access (Arxiv)
Find it@PNU
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
Logics of imprecise comparative probability
Academic Journal
Ding, Yifeng
;
Holliday, Wesley H.
;
Icard, Thomas F., III
In
International Journal of Approximate Reasoning
May 2021 132:154-180
Full Text (ScienceDirect 종량제)
Web of Science
JCR 저널정보
Scopus
Find it@PNU
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
Conditional and Modal Reasoning in Large Language Models
Report
Holliday, Wesley H.
;
Mandelkern, Matthew
;
Zhang, Cedegao E.
Open Access (Arxiv)
Find it@PNU
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
Learning to Manipulate under Limited Information
Report
Holliday, Wesley H.
;
Kristoffersen, Alexander
;
Pacuit, Eric
Open Access (Arxiv)
Find it@PNU
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
An impossibility theorem concerning positive involvement in voting
Report
Holliday, Wesley H.
Economics Letters, Vol. 236, March 2024, 111589
Open Access (Arxiv)
Find it@PNU
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
An extension of May's Theorem to three alternatives: axiomatizing Minimax voting
Report
Holliday, Wesley H.
;
Pacuit, Eric
Open Access (Arxiv)
Find it@PNU
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
A semantic hierarchy for intuitionistic logic
Academic Journal
Bezhanishvili, Guram
;
Holliday, Wesley H.
In
Indagationes Mathematicae
May 2019 30(3):403-469
Full Text (ScienceDirect 종량제)
Full Text (ScienceDirect O/A)
Web of Science
JCR 저널정보
Scopus
Find it@PNU
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
1
2
3
4
…
17
18
19
20
Next
Refining the search results
arrow_forward
Facets
[AR] Holliday, Wesley H.
clear
Publication year
-
Refine
Database provider
MathSciNet via EBSCOhost
(41)
OAIster
(28)
arXiv
(25)
Complementary Index
(18)
Science Citation Index Expanded
(12)
Springer Nature Journals
(12)
Academic Search Complete
(11)
Arts & Humanities Citation Index
(10)
Social Sciences Citation Index
(10)
JSTOR Journals
(6)
Supplemental Index
(5)
Business Source Complete
(5)
ScienceDirect
(4)
Oxford Scholarship Online
(3)
RePEc
(2)
MLA International Bibliography
(2)
eScholarship
(1)
add
remove
More
zoom_in
Refine
Title
journal of philosophical logic
(12)
social choice and welfare
(10)
journal of symbolic logic
(8)
social choice & welfare
(8)
algebra universalis
(5)
international journal of approximate reasoning
(5)
journal of logic and computation
(5)
mathematical social sciences
(5)
economics letters
(4)
public choice
(4)
review of symbolic logic
(4)
synthese
(4)
journal of theoretical politics
(3)
notre dame journal of formal logic
(3)
philosophical review
(3)
advances in modal logic. vol. 13
(2)
advances in modal logic. vol. 14
(2)
constitutional political economy
(2)
indagationes mathematicae
(2)
journal of logic & computation
(2)
journal of philosophical logic: published under the auspices of the association for symbolic logic
(2)
logic, rationality, and interaction
(2)
logics
(2)
proceedings of the annual meeting of the cognitive science society vol 43, iss 43
(2)
proceedings seventeenth conference on theoretical aspects of rationality and knowledge
(2)
studia logica
(2)
studia logica: an international journal for symbolic logic
(2)
synthese. an international journal for epistemology, methodology and philosophy of science
(2)
the journal of symbolic logic
(2)
advances in modal logic. vol. 10
(1)
advances in modal logic. vol. 11
(1)
advances in modal logic. vol. 12
(1)
advances in modal logic. vol. 9
(1)
advances in modal logic. volume 8
(1)
being, freedom, and method : themes from the philosophy of peter van inwagen
(1)
elsevier, economics letters
(1)
elsevier, mathematical social sciences
(1)
indagationes mathematicae-new series
(1)
introduction to formal philosophy
(1)
jaakko hintikka on knowledge and game-theoretical semantics
(1)
johan van benthem on logic & information dynamics
(1)
johan van benthem on logic and information dynamics
(1)
koninklijke nederlandse akademie van wetenschappen. indagationes mathematicae. new series
(1)
logic, rationality & interaction
(1)
new directions in logic, language & computation
(1)
oxford studies in epistemology volume 5
(1)
proceedings of the annual meeting of the cognitive science society
(1)
the philosophical review
(1)
the science of meaning : essays on the metatheory of natural language semantics
(1)
thought: a journal of philosophy
(1)
add
remove
More
zoom_in
Refine
Publisher
springer
(18)
springer nature
(18)
coll. publ., [london]
(7)
elsevier b.v.
(7)
cambridge university press
(6)
springer netherlands
(5)
cambridge univ press
(4)
eptcs, [place of publication not identified]
(4)
springer, cham
(4)
coll. publ., london
(3)
elsevier science bv
(3)
escholarship, university of california
(3)
oxford univ press
(3)
oxford university press
(3)
springer berlin heidelberg
(3)
springer us
(3)
duke univ press
(2)
duke university press
(2)
elsevier science inc
(2)
mdpi
(2)
oxford university press / usa
(2)
sage publications inc.
(2)
springer, berlin
(2)
amer. math. soc., [providence], ri
(1)
cornell univ sage school philosophy
(1)
elsevier inc.
(1)
elsevier science sa
(1)
philosophy documentation center
(1)
sage publications ltd
(1)
springer basel ag
(1)
springer international publishing
(1)
wiley
(1)
add
remove
More
zoom_in
Refine
자료유형(Source Type)
Academic Journals
(112)
Reviews
(39)
Electronic Resources
(28)
Reports
(25)
Conference Materials
(21)
Books
(6)
Magazines
(3)
eBooks
(3)
add
remove
More
zoom_in
Refine
Subject
modal logic
(14)
logic
(13)
boolean algebra
(12)
social choice
(12)
computer science - computer science and game theory
(11)
computer science - logic in computer science
(11)
computer science - multiagent systems
(11)
axioms
(10)
economics - theoretical economics
(10)
i.2.11
(9)
91b12, 91b14, 91b10
(7)
algebraic semantics
(7)
f.4.1
(7)
mathematics - logic
(7)
heyting algebra
(6)
voting
(6)
decidability
(5)
dynamic epistemic logic
(5)
elections
(5)
epistemic logic
(5)
qualitative probability
(5)
regularity
(5)
representation
(5)
social choice theory
(5)
closure operator
(4)
compatibility
(4)
complete lattice
(4)
computer science - artificial intelligence
(4)
connectives
(4)
conservativity
(4)
epistemic modals
(4)
formal concept analysis
(4)
incompleteness
(4)
intuitionistic logic
(4)
negation
(4)
ortholattice
(4)
polarity
(4)
proximity
(4)
public announcement logic
(4)
semantics (philosophy)
(4)
03g05
(3)
03g10
(3)
03g12
(3)
06b15
(3)
06b23
(3)
06c15
(3)
06d20
(3)
06d22
(3)
algebra
(3)
axiom of choice
(3)
add
remove
More
zoom_in
Refine
Language
english
(139)
add
remove
More
zoom_in
Refine
Send an e-mail
이메일
Cancel
Confirm
Close pop-up
폴더 추가
Close pop-up