researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Journal of Logic and Computation
Home
Index
Info
Issue
Volume
17
, Issue
3
415
--
452
Mikhail Sheremet
,
Dmitry Tishkovsky
,
Frank Wolter
,
Michael Zakharyaschev
.
A Logic for Concepts and Similarity
453
--
477
Christian G. Fermüller
,
Reinhard Pichler
.
Model Representation over Finite and Infinite Signatures
479
--
498
Sven Ove Hansson
.
Contraction Based on Sentential Selection
499
--
515
Magdalena Ortiz
,
Mauricio Osorio
.
Strong Negation and Equivalence in the Safe Belief Semantics
517
--
554
Thomas Bolander
,
Patrick Blackburn
.
Termination for Hybrid Tableaus
555
--
585
Alexandru Baltag
,
Bob Coecke
,
Mehrnoosh Sadrzadeh
.
Epistemic Actions as Resources
587
--
604
Emil Jerábek
.
On Independence of Variants of the Weak Pigeonhole Principle
605
--
0
.
An Institution-independent Generalization of Tarski s Elementary Chain Theorem
607
--
0
.
Logics with Common Weak Completions